Sergey, I; Nanevski, A; Banerjee, A; (2015) Mechanized Verification of Fine-Grained Concurrent Programs. In: (Proceedings) 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. (pp. pp. 77-87). ACM Green open access
https://ift.tt/2FUJBGe
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)
-
▼
Μαΐου
(3439)
-
▼
Μαΐ 08
(108)
- Adjusting oral oxybutynin medication for hyperhidr...
- Assessment of vestibular function in patients with...
- Anatomical variations of the ethmoidal roof: diffe...
- An evaluation of in-office flexible fiber-optic bi...
- Integrated behavioral health care for management o...
- The effect of transcutaneous neuromuscular electri...
- Mutations affecting the actin regulator WDR1 lead ...
- miRNAs are required for Langerhans cell, skin and ...
- Eosinophilic Esophagitis: time to classify into en...
- Reference Values for Peripheral Blood Lymphocyte S...
- A retrospective study of treatment for curative sy...
- Anxiety, depression, and hopelessness in patients ...
- Computational analysis of swallowing mechanics aft...
- Screening and management of postoperative hypopara...
- Esthesioneuroblastoma with widespread distant meta...
- Horizontal (vs. vertical) closure of the neo-phary...
- Wireless mobile ultrasonography-assisted parotid d...
- An undulating vallecular cyst
- Surgical treatment of symptomatic subglottic steno...
- Balloon catheter dilation of a septated frontal sinus
- Aggressive desmoid fibromatosis of the neck after ...
- Variations of Retromandibular Vein and Its Relatio...
- Smartphone adapters for flexible Nasolaryngoscopy:...
- Hematoma cervical por sangrado espontáneo de adeno...
- Variations of Retromandibular Vein and Its Relatio...
- Synaptic adhesion protein ELFN1 is a selective all...
- Are most cancer cases a consequence of an immune d...
- Trends in continental temperature and humidity dir...
- Strengthening the immune system for cancer prevent...
- Suppressing viscous fingering in structured porous...
- Shortcomings of the immunological model of carcino...
- COBLL1 modulates cell morphology and facilitates a...
- Reply to Jimenez-Alonso et al., Schooling and Zhao...
- Correction for Sheehan et al., Coevolution of land...
- QnAs with Howard Y. Chang [QnAs]
- Efficient models of polymerization applied to FtsZ...
- Profile of James C. Liao [Profiles]
- Dome-headed, small-brained island mammal from the ...
- Transient pausing by RNA polymerase II [Cell Biology]
- Suppression of costimulation by human cytomegalovi...
- Myosin goes for blood [Cell Biology]
- Worldwide distribution of the DCDC2 READ1 regulato...
- Visualization of molecular biology: The LANA tethe...
- Complex role of NK cells in regulation of oncolyti...
- Invasive insect hybridizes with local pests [Popul...
- New onset colitis in an adult patient with chronic...
- Low mood, visual hallucinations, and falls – heral...
- Infective endocarditis due to Burkholderia cepacia...
- Media Alert: Johns Hopkins Celebrates 11th Annual ...
- Words Matter: How Older Patients Want to Discuss H...
- Komplikationen bei Operationen an der Rhinobasis
- Metastatic Gallbladder Melanoma Presenting as Acut...
- Optimal transportation meshfree method in geotechn...
- Handheld Real-Time LED-Based Photoacoustic and Ult...
- Solar photovoltaic self-consumption in the UK resi...
- Lethal Threshold: The Evolutionary Implications of...
- Data Fusion for QRS Complex Detection in Multi-Lea...
- Can the subaltern ‘speak’ science? An intersection...
- Phosphonomethyl Oligonucleotides as Backbone Modif...
- Virtual clinical trials using inserted pathology i...
- A comparison of multispectral aerial and satellite...
- Cardiovascular outcomes reported in hemodialysis t...
- Development of nanomaterials applied to Tissue Eng...
- Kernel-based just-in-time learning for passing exp...
- Spoiled for choice? An applicant-centred approach ...
- Structure of Transmembrane Helix 8 and Possible Me...
- Shared and Species-Specific Patterns of Nascent Y ...
- Automatic slice segmentation of intraoperative tra...
- Mechanized Verification of Fine-Grained Concurrent...
- Can renal and bladder ultrasound replace CT urogra...
- The Colonized and the Wrong of Colonialism
- Neoglacial Climate Anomalies and the Harappan Meta...
- The Outcome of Papillary Thyroid Cancer Associated...
- Smartphone adapters for flexible Nasolaryngoscopy:...
- Onkologie und Versorgung in Fach- und Publikumsmedien
- Building a Renewed ImaGe After Head & Neck Cancer ...
- Randomized Multicentric Comparative Study Between ...
- Metronomic Oral Vinorelbine Plus Anti-PD-L1/Anti-C...
- Appaconitine Patch for Oral Mucositis Pain Caused ...
- A First in Human, Dose Escalation Study of JAB-306...
- Executive summary of the Clinical Guidelines of Ph...
- Pyoderma gangrenosum après allogreffe de cellules ...
- Rigid endoscope-assisted orotracheal intubation fo...
- Fatal choking in infants and children treated in a...
- Orchestration of intestinal homeostasis and tolera...
- Mathematical and statistical modelling of factors ...
- New genus of extinct Holocene gibbon associated wi...
- Constraints on the structure of hot exozodiacal du...
- Answering Schrödinger's question: A free-energy fo...
- Sex-specific modulation of drug bioavailability wi...
- Domains and Measurements of Healthy Aging in Epide...
- Phase division multiplexed EIT for enhanced tempor...
- Dynamic facial expressions of emotions are discrim...
- Social isolation in mental health: a conceptual an...
- Alginate foam-based three-dimensional culture to i...
- Nano-sized Transition Metal Oxide Negative Electro...
- Museum Object Lessons for the Digital Age
- Smart energy solutions in the EU: State of play an...
- Mohs Micrographic Surgery for Treatment of Non-mel...
- The role of industry influence in sinus balloon di...
-
▼
Μαΐ 08
(108)
- ► Φεβρουαρίου (2693)
- ► Ιανουαρίου (3198)
-
►
2017
(41099)
- ► Δεκεμβρίου (3127)
- ► Σεπτεμβρίου (2173)
-
►
2016
(13807)
- ► Δεκεμβρίου (700)
- ► Σεπτεμβρίου (600)
- ► Φεβρουαρίου (1350)
- ► Ιανουαρίου (1400)
-
►
2015
(1500)
- ► Δεκεμβρίου (1450)
Ετικέτες
Τρίτη 8 Μαΐου 2018
Mechanized Verification of Fine-Grained Concurrent Programs
Εγγραφή σε:
Σχόλια ανάρτησης (Atom)
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου