Search results for "C11"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
53	Jim F. M. Myers, Lula Rosso, Nicola J. Kalk, Ben J. Watson, Sue J. Wilson, David J. Brooks, David J. Nutt, Federico E. Turkheimer, Anne Lingford-Hughes	The effects of zolpidem on in vivo binding of [C11]-flumazenil and [C11]-Ro15-4513.	NeuroImage	2010	DBLP DOI BibTeX RDF
30	Peter Congdon	The need for psychiatric care in England: a spatial factor methodology.	J. Geogr. Syst.	2008	DBLP DOI BibTeX RDF	JEL Classification I10, I18, C11, C51, C21
30	Peter Congdon	Modelling spatially varying impacts of socioeconomic predictors on mortality outcomes.	J. Geogr. Syst.	2003	DBLP DOI BibTeX RDF	C23, C25, C11, I12, JEL classification C21
30	Christiaan J. J. Paredis, Antonio Diaz-Calderon, Rajarishi Sinha, Pradeep K. Khosla	Composable Models for Simulation-Based Design.	Eng. Comput.	2001	DBLP DOI BibTeX RDF	Simulation-based design, Configuation, Port-based models, CAD
30	Boris Jeremic, Kenneth Runesson, Stein Sture	Object-Oriented Approach to Hyperelasticity.	Eng. Comput.	1999	DBLP DOI BibTeX RDF	Constitutive driver, Finite element programming, Hyperelasticity, Tensor analysis, Object-oriented programming
29	R. Kelley Pace, James Paul LeSage	A sampling approach to estimate the log determinant used in spatial likelihood problems.	J. Geogr. Syst.	2009	DBLP DOI BibTeX RDF	JEL Classfication C11, C23, C21, R11
29	David C. Wheeler, Lance A. Waller	Comparing spatially varying coefficient models: a case study examining violent crime rates and their relationships to alcohol outlets and illegal drug arrests.	J. Geogr. Syst.	2009	DBLP DOI BibTeX RDF	JEL Classification C11, C21, C13
26	Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty 0001, Shankaranarayanan Krishna, Umang Mathur 0001, Andreas Pavlogiannis	Optimal Reads-From Consistency Checking for C11-Style Memory Models.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
26	Parosh Aziz Abdulla, Soham Chakraborty 0001, Shankaranarayanan Krishna, Umang Mathur 0001, Andreas Pavlogiannis, Hünkar Can Tunç	Optimal Reads-From Consistency Checking for C11-Style Memory Models.	CoRR	2023	DBLP DOI BibTeX RDF
26	Daniel Wright 0001, Sadegh Dalvandi, Mark Batty, Brijesh Dongol	Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
26	Sadegh Dalvandi, Brijesh Dongol	Implementing and verifying release-acquire transactional memory in C11.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
26	Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma 0001	Fence Synthesis under the C11 Memory Model.	CoRR	2022	DBLP DOI BibTeX RDF
26	Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim	Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
26	Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma 0001	Fence Synthesis Under the C11 Memory Model.	ATVA	2022	DBLP DOI BibTeX RDF
26	Pengbo Yan, Toby Murray	SecRSL: security separation logic for C11 release-acquire concurrency.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
26	Roy Margalit, Ori Lahav 0001	Verifying observational robustness against a c11-style memory model.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
26	Johannes Leindecker, Maximilian Zechmeister-Machhart, Felix Gauss, Philipp Wiegard	A Tutorial-oriented Approach to ARGESIM Benchmark C11 'SCARA Robot' in MATLAB, Simulink and Stateflow.	Simul. Notes Eur.	2021	DBLP DOI BibTeX RDF
26	Martin Batliner, Felix Breitenecker, Andreas Körner, Horst Ecker	ARGESIM Benchmark C11 'SCARA Robot' with Extended Trajectory Tracking Control.	Simul. Notes Eur.	2021	DBLP DOI BibTeX RDF
26	Lionel Quaranta, Lalith Maddegedara	A novel MPI+MPI hybrid approach combining MPI-3 shared memory windows and C11/C++11 memory model.	J. Parallel Distributed Comput.	2021	DBLP DOI BibTeX RDF
26	Daniel Wright 0001, Mark Batty, Brijesh Dongol	Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version).	CoRR	2021	DBLP BibTeX RDF
26	Sadegh Dalvandi, Brijesh Dongol	Verifying C11-Style Weak Memory Libraries via Refinement.	CoRR	2021	DBLP BibTeX RDF
26	Pengbo Yan, Toby Murray	SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices).	CoRR	2021	DBLP BibTeX RDF
26	Daniel Wright 0001, Mark Batty, Brijesh Dongol	Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies.	FM	2021	DBLP DOI BibTeX RDF
26	Sadegh Dalvandi, Brijesh Dongol	Verifying C11-style weak memory libraries.	PPoPP	2021	DBLP DOI BibTeX RDF
26	Sanjana Singh, Divyanjali Sharma, Subodh Sharma 0001	Dynamic Verification of C11 Concurrency over Multi Copy Atomics.	TASE	2021	DBLP DOI BibTeX RDF
26	Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim	Owicki-Gries Reasoning for C11 RAR (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
26	Mengda He, Shengchao Qin, Zhiwu Xu 0001	A Program Logic for Reasoning About C11 Programs With Release-Sequences.	IEEE Access	2020	DBLP DOI BibTeX RDF
26	Sadegh Dalvandi, Brijesh Dongol, Simon Doherty	Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL.	CoRR	2020	DBLP BibTeX RDF
26	Sadegh Dalvandi, Brijesh Dongol	Verifying C11-Style Weak Memory Libraries.	CoRR	2020	DBLP BibTeX RDF
26	Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim	Owicki-Gries Reasoning for C11 RAR.	ECOOP	2020	DBLP DOI BibTeX RDF
26	Olga Rekova, Nicole Pelzmann, Philipp Mandl, Maximilian Hoffmann 0003, Horst Ecker, Andreas Körner, Martin Bicher, Felix Breitenecker	ARGESIM Benchmark C11 'SCARA Robot': Comparison of Basic Implementations in EXCEL and MATLAB.	Simul. Notes Eur.	2019	DBLP DOI BibTeX RDF
26	Frédéric Tuong, Burkhart Wolff	Deeply Integrating C11 Code Support into Isabelle/PIDE.	F-IDE@FM	2019	DBLP DOI BibTeX RDF
26	Mohammadsadegh Dalvandi, Brijesh Dongol	Towards deductive verification of C11 programs with Event-B and ProB.	FTfJP@ECOOP	2019	DBLP DOI BibTeX RDF
26	Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick	Verifying C11 programs operationally.	PPoPP	2019	DBLP DOI BibTeX RDF
26	Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick	Verifying C11 Programs Operationally.	CoRR	2018	DBLP BibTeX RDF
26	Ryan Kavanagh, Stephen Brookes	A denotational account of C11-style memory.	CoRR	2018	DBLP BibTeX RDF
26	Mengda He, Shengchao Qin, João F. Ferreira 0001	Towards a Program Logic for C11 Release-Sequences.	TASE	2018	DBLP DOI BibTeX RDF
26	Mengda He	Reasoning about C11 programs with fences and relaxed atomics.		2018	RDF
26	Jacques-Henri Jourdan, François Pottier	A Simple, Possibly Correct LR Parser for C11.	ACM Trans. Program. Lang. Syst.	2017	DBLP DOI BibTeX RDF
26	Jens Gustedt	Futex based locks for C11's generic atomics.	SAC	2016	DBLP DOI BibTeX RDF
26	Mark Batty, Alastair F. Donaldson, John Wickerson	Overhauling SC atomics in C11 and OpenCL.	POPL	2016	DBLP DOI BibTeX RDF
26	Marko Doko, Viktor Vafeiadis	A Program Logic for C11 Memory Fences.	VMCAI	2016	DBLP DOI BibTeX RDF
26	John Wickerson, Mark Batty	Taming the complexities of the C11 and OpenCL memory models.	CoRR	2015	DBLP BibTeX RDF
26	Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty 0001, Robin Morisset, Francesco Zappa Nardelli	Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it.	POPL	2015	DBLP DOI BibTeX RDF
26	Robbert Krebbers, Freek Wiedijk	A Typed C11 Semantics for Interactive Theorem Proving.	CPP	2015	DBLP DOI BibTeX RDF
26	Viktor Vafeiadis	Formal Reasoning about the C11 Weak Memory Model.	CPP	2015	DBLP DOI BibTeX RDF
26	Mark John Batty	The C11 and C++11 concurrency model.		2015	RDF
26	Tamara Vobruba, Claudia Wytrzens, Andrea Kainz, Irene Hafner	Comparison of Programmed MATLAB Implementation and Graphically Modelled Simulink Implementation for ARGESIM Benchmark C11 'SCARA Robot'.	Simul. Notes Eur.	2014	DBLP DOI BibTeX RDF
26	Viktor Vafeiadis, Chinmay Narayan	Relaxed separation logic: a program logic for C11 concurrency.	OOPSLA	2013	DBLP DOI BibTeX RDF
26	Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli	Compiler testing via a theory of sound optimisations in the C11/C++11 memory model.	PLDI	2013	DBLP DOI BibTeX RDF
26	Robbert Krebbers	Aliasing Restrictions of C11 Formalized in Coq.	CPP	2013	DBLP DOI BibTeX RDF
26	Boris Malinowsky, Oliver Höftberger, Florian Miksch	A Physical Modelling Approach to ARGESIM Benchmark C11 'SCARA Robot' using Dymola.	Simul. Notes Eur.	2011	DBLP DOI BibTeX RDF
26	Jurgen Fripp, Pierrick Bourgeat, Oscar Acosta, Gareth Jones 0002, Victor Villemagne, Sébastien Ourselin, Christopher Rowe, Olivier Salvado	Generative atlases and atlas selection for C11-PIB PET-PET registration of elderly, mild cognitive impaired and Alzheimer disease patients.	ISBI	2008	DBLP DOI BibTeX RDF