6308 search results - page 239 / 1262 » Modeling Urgency in Timed Systems |
136
Voted
SAMOS
2007
Springer
15 years 10 months ago
2007
Springer
The Sesame modeling and simulation framework aims at early and thus efficient system-level design space exploration of embedded multimedia system architectures. So far, Sesame onl...
110
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents and validates performance models for a variety of high-performance collective communication algorithms for systems with Cell processors. The systems modeled in...
141
click to vote
VLSID
1999
IEEE
15 years 9 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
140
click to vote
ADC
2004
Springer
15 years 8 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
143
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...