8190 search results - page 207 / 1638 » From Timed to Hybrid Systems |
233
click to vote
Publication
Transit travel time and operating speed influence service attractiveness, operating cost, and system efficiency. The objective of this paper is to estimate the values of parameters...
192
Voted
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
166
click to vote
SIES
2007
IEEE
16 years 11 days ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
170
click to vote
ECRTS
2004
IEEE
15 years 9 months ago
2004
IEEE
Computing systems, ranging from small battery-operated embedded systems to more complex general purpose systems, are designed to satisfy various computation demands in some accept...
135
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...