6308 search results - page 58 / 1262 » Modeling Urgency in Timed Systems |
147
Voted
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Time-critical logistics (TCL) refer to time-sensitive procurement, processing and distribution activities. A confounding factor is the transportation networks that contain these l...
100
click to vote
GEOINFORMATICA
2006
15 years 3 months ago
2006
This paper investigates how portability of a model between different computer operating systems can lead to increased efficiency in code execution. The portability problem is not a...
127
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
114
Voted
NIME
2005
Springer
15 years 9 months ago
2005
Springer
Discussion of time in interactive computer music systems engineering has been largely limited to data acquisition rates and latency. Since music is an inherently time-based medium...
122
Voted
RTCSA
2005
IEEE
15 years 9 months ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...