Search results for "grand challenge project"

Found 11 publication records. Showing 11 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Tony Hoare, Jayadev Misra	Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Artur Oliveira Gomes, Marcel Vinicius Medeiros Oliveira	Formal Specification of a Cardiac Pacing System.	FM	2009	DBLP DOI BibTeX RDF	formal modelling, Z, industrial applications, pacemaker
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	New Challenges in Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	Logic model checking, grand challenge project, flash file system challenge, software reliability, software verification, software structure
1	Elmar Krieger, Laurent Leger, Marie-Pierre Durrieu, Nada Taib, Peter Bond, Michel Laguerre, Richard Lavery, Mark S. P. Sansom, Marc Baaden	Atomistic Modeling of the Membrane-Embedded Synaptic Fusion Complex: a Grand Challenge Project on the DEISA HPC Infrastructure.	PARCO	2007	DBLP BibTeX RDF
1	Egon Börger	Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Validation and certification, ASM ground model (golden model), ASM refinement, Verified software challenge, System analysis, Abstract State Machine
1	Tony Hoare	The Ideal of Verified Software.	CAV	2006	DBLP DOI BibTeX RDF
1	Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock	The verified software repository: a step towards the verifying compiler.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Grand challenges in computer science, Dependable systems evolution, Software engineering, Tools, Program verification, Verified software repository, Verifying compiler, Assertional reasoning
1	Jubaraj Sahu, Karen R. Heavey	Advanced Computational Fluid Dynamics Simulations of Proiectiles with Flow Control.	SC	2004	DBLP DOI BibTeX RDF
1	Manish Parashar, James C. Browne	On Partitioning Dynamic Adaptive Grid Hierarchies. (PDF / PS)	HICSS	1996	DBLP DOI BibTeX RDF
1	Carter Shock, Chialin Chang, Larry S. Davis, Samuel Goward, Joel H. Saltz, Alan Sussman	A High Performance Image Database System for Remotely Sensed Imagery.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
1	J. C. Wells, V. E. Oberacker, A. S. Umar, C. Bottcher, M. R. Strayer, John B. Drake, R. Flanery	The quantum structure of matter grand challenge project: large-scale 3-D solutions in relativistic quantum dynamics.	SC	1993	DBLP DOI BibTeX RDF