Search results for "OVM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
159	Kelly D. Larson	Translation of an existing VMM-based SystemVerilog testbench to OVM.	DAC	2008	DBLP DOI BibTeX RDF	OVM, VMM, testbenches, SystemVerilog
99	George Bosilca, Gilles Fedak, Franck Cappello	OVM: Out-of-Order Execution Parallel Virtual Machine.	CCGRID	2001	DBLP DOI BibTeX RDF
66	Cosmin Dumitrescu	CO-OVM: A Practical Approach to Systems Engineering Variability Modeling. (CO-OVM: Une approche pratique pour la modélisation de la variabilité en Ingénierie Système).		2014	RDF
44	Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek	A real-time Java virtual machine with applications in avionics.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	virtual machines, memory management, Real-time Java, Avionics
44	Zille Huma Kamal, Ajay Gupta 0001, Leszek Lilien, Zijiang Yang 0006	The MicroOppnet tool for Collaborative Computing experiments with class 2 opportunistic networks.	CollaborateCom	2007	DBLP DOI BibTeX RDF
44	Jason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes	A Real-time Java Virtual Machine for Avionics - An Experience Report.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
44	Klaus Pohl, Andreas Metzger	Variability management in software product line engineering.	ICSE	2006	DBLP DOI BibTeX RDF	testing, requirements engineering, software product lines, variability modeling, variability management
33	Germán Alejandro Braun, Matias Pol'la, Laura Andrea Cecchi, Agustina Buccella, Pablo R. Fillottrani, Alejandra Cechich	A DL Semantics for Reasoning over OVM-based Variability Models.	Description Logics	2017	DBLP BibTeX RDF
33	Mai A. Alduailij, Leszek T. Lilien	A collaborative healthcare application based on opportunistic resource utilization networks with OVM primitives.	CTS	2015	DBLP DOI BibTeX RDF
33	Iris Reinhartz-Berger, Kathrin Figl	Comprehensibility of orthogonal variability modeling languages: the cases of CVL and OVM.	SPLC	2014	DBLP DOI BibTeX RDF
33	Wolfgang Ecker, Volkan Esen, Michael Velten, Tudor Timisescu	SystemC as completing pillar in industrial OVM based verification environments.	CODES+ISSS	2012	DBLP DOI BibTeX RDF
33	Fabricia Roos-Frantz, José Angel Galindo, David Benavides 0001, Antonio Ruiz Cortés	FaMa-OVM: a tool for the automated analysis of OVMs.	SPLC (2)	2012	DBLP DOI BibTeX RDF
33	Ju An Wang, Minzhe Guo	OVM: an ontology for vulnerability management.	CSIIRW	2009	DBLP DOI BibTeX RDF
33	Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek	Engineering a common intermediate representation for the Ovm framework.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
33	George Bosilca	OVM, une machine parallèle virtuelle à exécution dans le désordre.	Tech. Sci. Informatiques	2004	DBLP DOI BibTeX RDF
33	George Bosilca, Gilles Fedak, Franck Cappello	OVM: Out-of-order execution parallel virtual machine.	Future Gener. Comput. Syst.	2002	DBLP DOI BibTeX RDF
22	Ales Plsek, Lei Zhao, Veysel Harun Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
22	Jan Vitek	Programming Models for Concurrency and Real-Time.	TOOLS (47)	2009	DBLP DOI BibTeX RDF
22	Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek	Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks.	CC	2007	DBLP DOI BibTeX RDF
22	Leszek Lilien, Ajay Gupta 0001, Zijiang Yang 0006	Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework.	IPCCC	2007	DBLP DOI BibTeX RDF
22	Antonio Cunei, Jan Vitek	A new approach to real-time checkpointing.	VEE	2006	DBLP DOI BibTeX RDF	Java, real-time, virtual machine, checkpoint