|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 19 keywords
|
|
|
Results
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 31-38, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2000, 7th International Conference, Bangalore, India, December 17-20, 2000, Proceedings, pp. 355-366, 2000, Springer, 3-540-41429-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI4I ![In: Second International Conference on Artificial Intelligence for Industries, AI4I 2019, Laguna Hills, CA, USA, September 25-27, 2019, pp. 95-96, 2019, IEEE, 978-1-7281-4087-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Jianxing Zhang, Qin Yang, Xianhai Meng, Jigang Li |
Automatic RMO picking in seismic travel time tomography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: 10th International Conference on Natural Computation, ICNC 2014, Xiamen, China, August 19-21, 2014, pp. 1116-1120, 2014, IEEE, 978-1-4799-5150-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
40 | Seungjoon Park, David L. Dill |
An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: 7th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '95, Santa Barbara, California, USA, July 17-19, 1995, pp. 34-41, 1995, ACM, 0-89791-717-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
SPARC |
25 | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
On the verification problem for weak memory models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 7-18, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 170-179, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings, pp. 844-857, 2005, Springer, 3-540-29754-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Chaiyasit Manovit, Sudheendra Hangal |
Efficient algorithms for verifying memory consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 18-20, 2005, Las Vegas, Nevada, USA, pp. 245-252, 2005, ACM, 1-58113-986-1. The full citation details ...](Pics/full.jpeg) |
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: )
|
|