|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
139 | Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens |
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 19-27, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach |
73 | Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten |
From POOSL to UPPAAL: Transformation and Quantitative Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010, pp. 47-56, 2010, IEEE Computer Society, 978-0-7695-4066-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
POOSL, performance, verification, transformation, quantitative analysis, UPPAAL |
53 | Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens |
System Level Modelling for Hardware/Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, pp. 10154-10161, 1998, IEEE Computer Society, 0-8186-8646-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
40 | Bart D. Theelen, Jeroen Voeten, R. D. J. Kramer |
Performance modelling of a network processor using POOSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 41(5), pp. 667-684, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Sook-Young Choi, Hyeok Chan Kwon, Kwan Jong Yoo |
POOSL: A Programming Model for Efficient Parallel Processing in the Message Passing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel and Distributed Computing and Systems ![In: Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, Washington, D.C., USA, October 19-21, 1995, pp. 514-517, 1995, IASTED/ACTA Press. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
26 | Liam Noonan, Colin Flanagan |
Modeling a Network Processor Using Object Oriented Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August - 3 September 2004, Rennes, France, pp. 484-490, 2004, IEEE Computer Society, 0-7695-2203-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen |
Software Synthesis for System Level Design Using Process Execution Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 25th EUROMICRO '99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy, pp. 1463-1467, 1999, IEEE Computer Society, 0-7695-0321-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
system level design language, simulation, operational semantics, software synthesis |
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|