Subotic, P; Scholz, B; Jordan, H; Westmann, T; (2016) On Fast Large-Scale Program Analysis in Datalog. In: Proceedings of the 25th International Conference on Compiler Construction. (pp. pp. 196-206). ACM: New York, NY, USA. Green open access
http://ift.tt/2A5bHNn
Medicine by Alexandros G.Sfakianakis,Anapafseos 5 Agios Nikolaos,Crete 72100,Greece,tel :00302841026182 & 00306932607174
Αρχειοθήκη ιστολογίου
-
►
2020
(289)
- ► Φεβρουαρίου (28)
-
►
2019
(9071)
- ► Δεκεμβρίου (19)
- ► Σεπτεμβρίου (54)
- ► Φεβρουαρίου (3642)
- ► Ιανουαρίου (3200)
-
►
2018
(39872)
- ► Δεκεμβρίου (3318)
- ► Σεπτεμβρίου (3683)
- ► Φεβρουαρίου (2693)
- ► Ιανουαρίου (3198)
-
▼
2017
(41099)
- ► Δεκεμβρίου (3127)
-
▼
Νοεμβρίου
(6729)
-
▼
Νοε 23
(379)
- Regulation of cell proliferation in the retinal pi...
- Metastasis-specific patterns of response and progr...
- Prenatal exposure to ketamine in rats: Implication...
- Children's anxiety symptoms and salivary immunoglo...
- Cortisol profiles differentiated in adolescents an...
- Coincidence of pollen season with the first fetal ...
- Coincidence of pollen season with the first fetal ...
- Confirmed Ceylon krait (Bungarus ceylonicus) enven...
- Facilitated acquisition of the classically conditi...
- Structural malformations of the brain, eye, and pi...
- Confirmed Ceylon krait (Bungarus ceylonicus) enven...
- Correction to: Long-term patient reported outcomes...
- Severe infantile onset developmental and epileptic...
- Inhibition of monoacylglycerol lipase terminates d...
- Oral keratinocytes synthesize CTACK: a new insight...
- Personal history of non-melanoma skin cancer diagn...
- Tank bromeliads capture Saharan dust in El Yunque ...
- Changes in oxidative potential of soil and fly ash...
- PAHs in Chinese atmosphere Part I: Concentration, ...
- The adverse effects of gas-burning CHP systems on ...
- Analysis of patterns in the concentrations of atmo...
- Public willingness to pay for urban smog mitigatio...
- Comparative immunogenicity and safety of human pap...
- Evaluation of three experimental in vitro models f...
- Unilateral pectoralis major muscle flap for the tr...
- Mechanical effects of negative pressure wound ther...
- Negative pressure wound therapy in complex cranio-...
- Cause-specific mortality in HPV+ and HPV− orophary...
- Prevalencia de alteraciones en el complejo estiloh...
- Prevalencia de alteraciones en el complejo estiloh...
- Reductions in prostatic doses are associated with ...
- The impact of adjuvant vaginal brachytherapy in wo...
- Plesiobrachytherapy for chest wall recurrences of ...
- Comparison of the gut microbiota composition betwe...
- Stroke-like migraine attacks after radiation thera...
- BAD knockout provides metabolic seizure resistance...
- Immunological differences between insect venom-all...
- TNFα induces tolerant production of CXC chemokines...
- CD26 expression is down-regulated on CD8+ T cells ...
- The mast cell stabilizing activity of Chaga mushro...
- Management of Acute Hip Fracture
- Immunological differences between insect venom-all...
- Prenatal diagnosis of posterior fossa anomalies: a...
- The 2D axial transverse views of the fetal face: A...
- The Treatment In Morning versus Evening (TIME) stu...
- Standardised Outcomes in Nephrology—Polycystic Kid...
- Network methods to support user involvement in qua...
- The effects of using the PReDicT Test to guide the...
- 6 Steps to Treating Tinnitus
- Concerns about a New Preterm MR Imaging Scoring Sy...
- Reply: [LETTERS]
- The Role of Hemodynamics in Intracranial Bifurcati...
- Temporal Lobe Malformations in Achondroplasia: Exp...
- Feasibility of Brain Atrophy Measurement in Clinic...
- Vertebroplasty and Kyphoplasty for Osteoporotic Ve...
- Optimization of Quantitative Dynamic Postgadoliniu...
- Leukoaraiosis Attenuates Diagnostic Accuracy of La...
- Posttreatment Infarct Volumes when Compared with 2...
- Perivascular Spaces in Old Age: Assessment, Distri...
- Genome sequencing and analysis of the first sponta...
- Inactive lifestyles and sedentary behavior in pers...
- Computational predictions of damage propagation pr...
- Evaluation of the morphology of the genial tubercl...
- Impact of hydration and nutrition on personal perf...
- Is routine holistic assessment with a prompt list ...
- Corrigendum to “Schneider membrane thickness class...
- Anticholinesterase and antioxidant potentials of N...
- In vivo screening and evaluation of four herbs aga...
- Aster koraiensis extract prevents diabetes-induced...
- Humanity in a Dish: Population Genetics with iPSCs
- Tongue Pressure Production and Submental Surface E...
- Management of hypogammaglobulinemia and recurrent ...
- Strawberry Gingivitis in Granulomatosis with Polya...
- Predictors of a follicular nodule (Thy3) outcome o...
- Exponential distribution of total depressive sympt...
- The mediating factors in the relationship between ...
- Extracellular cathepsin L stimulates axonal growth...
- An exploratory open-label, investigator-initiated ...
- Management of hypogammaglobulinemia and recurrent ...
- Diagnostic Accuracy of Digital Breast Tomosynthesi...
- Impact of Radiation Dose Reduction in Abdominal Co...
- Regional Heterogeneity of Lobar Ventilation in Ast...
- Expanding the Definition of a Benign Renal Cyst on...
- Communicating Radiology Test Results
- Optical Coherence Tomography
- Adjuvant breast radiotherapy: How to trade-off cos...
- PdPt nanoparticles anchored on the N-G with the in...
- Selective isolation and noninvasive analysis of ci...
- A novel electrochemical sensor based on Cu@Ni/MWCN...
- Superwettable microchips with improved spot homoge...
- A self-powered biosensing device with an integrate...
- A novel screen-printed mast cell-based electrochem...
- Ultrasensitive electrochemiluminescence assay of t...
- A multi-functional gold/iron-oxide nanoparticle-CN...
- MYH7 mutation associated with two phenotypes of my...
- Gemcitabine plus platinum-based chemotherapy for f...
- MYC regulation of glutamine–proline regulatory axi...
- HER2 expression patterns in paired primary and met...
- Inflammatory cytokine IL-8/CXCL8 promotes tumour e...
- Climate mitigation, low-carbon society, and dynami...
-
▼
Νοε 23
(379)
- ► Σεπτεμβρίου (2173)
-
►
2016
(13807)
- ► Δεκεμβρίου (700)
- ► Σεπτεμβρίου (600)
- ► Φεβρουαρίου (1350)
- ► Ιανουαρίου (1400)
-
►
2015
(1500)
- ► Δεκεμβρίου (1450)
Ετικέτες
Πέμπτη 23 Νοεμβρίου 2017
On Fast Large-Scale Program Analysis in Datalog
Εγγραφή σε:
Σχόλια ανάρτησης (Atom)
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου