2339 search results - page 71 / 468 » Models and Tools for Mulan Applications |
190
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
160
click to vote
CONCURRENCY
2004
2004
User transparency: a fully sequential programming model for efficient data parallel image processing
15 years 6 months ago
Although many image processing applications are ideally suited for parallel implementation, most researchers in imaging do not benefit from high performance computing on a daily b...
169
click to vote
CADUI
2004
15 years 7 months ago
2004
The development process of hypermedia applications implies very specific problems mainly related, first, to the use of navigational structures, interactive behaviours and multimed...
197
click to vote
CASES
2007
ACM
2007
ACM
INTACTE: an interconnect area, delay, and energy estimation tool for microarchitectural explorations
15 years 10 months ago
Prior work on modeling interconnects has focused on optimizing the wire and repeater design for trading off energy and delay, and is largely based on low level circuit parameters....
183
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...