|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 16 keywords
|
|
|
Results
Found 6 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
125 | D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon |
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. ![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. 491-497, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems |
51 | Dirk Bartz, Dirk Staneker, Wolfgang Straßer, Brian Cripe, Tom Gaskins, Kristann Orton, Michael B. Carter, Andreas Johannsen, Jeff Trom |
Jupiter: a toolkit for interactive large model visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Parallel and Large-Data Visualization and Graphics ![In: Proceedings of the IEEE 2001 Symposium on Parallel and Large-Data Visualization and Graphics, PVG 2001, San Diego, California, USA, October 22-23, 2001, pp. 129-134, 2001, IEEE, 0-7803-7223-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
Large Model Visualization, Visibility, Toolkit, occlusion culling |
42 | David N. Blank-Edelman |
Practical Perl Tools: "Mala trom pee chock makacheesa.". ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 37(6), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan |
TROM - An Object Model for Reactive System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 350-364, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Vangalur S. Alagar, Mao Zheng |
A Rigorous Method for Testing Real-Time Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 213-220, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|