|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 11 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frédéric Loiret, Romain Rouvoy, Lionel Seinturier, Daniel Romero 0002, Kévin Sénéchal, Ales Plsek |
An Aspect-Oriented Framework for Weaving Domain-Specific Concerns into Component-Based Systems.  |
J. UCS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Daniel Tang, Ales Plsek, Jan Vitek |
Static checking of safety critical Java annotations.  |
JTRES  |
2010 |
DBLP DOI BibTeX RDF |
verification, annotations, safety critical systems, memory safety |
| 1 | Ales Plsek, Lei Zhao, Veysel H. 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 |
| 1 | Tomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben Titzer, Jan Vitek |
CDx: a family of real-time Java benchmarks.  |
JTRES  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Loiret, Ales Plsek, Philippe Merle, Lionel Seinturier, Michal Malohlava |
Constructing Domain-Specific Component Frameworks through Architecture Refinement.  |
EUROMICRO-SEAA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ales Plsek, Jirí Adámek |
Carmen: Software Component Model Checker.  |
QoSA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ales Plsek, Philippe Merle, Lionel Seinturier |
A Real-Time Java Component Model.  |
ISORC  |
2008 |
DBLP DOI BibTeX RDF |
real-time architecture design, component model, Real-time Java, RTSJ |
| 1 | Ales Plsek, Frédéric Loiret, Philippe Merle, Lionel Seinturier |
A Component Framework for Java-Based Real-Time Embedded Systems.  |
Middleware  |
2008 |
DBLP DOI BibTeX RDF |
middleware, Real-time Java, RTSJ, component framework |
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|