Search results for "RMO"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Hyung-Taek Lim, Seung-Min Yang	A framework to model dependable real-time systems based on real-time object model.	RTCSA	2000	DBLP DOI BibTeX RDF	dependable real-time systems, real-time object model, fault-tolerant real-time systems, RobustRTO, robust real-time objects, RMO, region monitor real-time objects, object regions, abnormal behavior detection, system reconfiguration, real-time systems, embedded systems, fault tolerant computing, reconfigurable architectures, object-oriented methods, system recovery, system recovery, system monitoring, recovery blocks, N-version programming
49	Lisa Higham, Jalal Kawash	Memory Consistency and Process Coordination for SPARC Multiprocessors.	HiPC	2000	DBLP DOI BibTeX RDF
40	Darielson A. Souza, Josias G. Batista, Laurinda L. N. dos Reis, Killdary A. Santana, José R. Júnior, José N. Júnior, Antônio Barbosa de Souza Júnior, Rui Araújo	Short Paper: Identification by Recursive Least Squares with RMO Applied to a Robotic Manipulator.	AI4I	2019	DBLP DOI BibTeX RDF
40	Jianxing Zhang, Qin Yang, Xianhai Meng, Jigang Li	Automatic RMO picking in seismic travel time tomography.	ICNC	2014	DBLP DOI BibTeX RDF
40	Seungjoon Park, David L. Dill	An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order).	SPAA	1995	DBLP DOI BibTeX RDF	SPARC
25	Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi	On the verification problem for weak memory models.	POPL	2010	DBLP DOI BibTeX RDF	lossy channel systems, program verification, infinite state systems, relaxed memory models
25	Lisa Higham, LillAnne Jackson	Translating between itanium and sparc memory consistency models.	SPAA	2006	DBLP DOI BibTeX RDF	multiprocessors, program transformations, memory consistency models, sparc, itanium
25	Dean Allemang, Irene Polikoff, Ralph Hodgson	Enterprise Architecture Reference Modeling in OWL/RDF.	ISWC	2005	DBLP DOI BibTeX RDF
25	Chaiyasit Manovit, Sudheendra Hangal	Efficient algorithms for verifying memory consistency.	SPAA	2005	DBLP DOI BibTeX RDF	multiprocessor verification, total store order, sequential consistency, memory consistency models, vector clocks

Displaying result #1 - #9 of 9 (100 per page; Change: )