13041 search results - page 312 / 2609 » Simulating space and time |
173
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
153
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The growing demand for reliable communications leads to the need for very large mean time to lose lock (MTLL) of PLL based synchronization subsystems. These large MTLLs, of the ...
211
Voted
MABS
1998
Springer
15 years 11 months ago
1998
Springer
Multi-agent simulations aim at representing the dynamics of complex systems as resulting from multiple interactions between autonomous entities including their own perception of lo...
210
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
The ability to integrate diverse components such as processor cores, memories, custom hardware blocks and complex network-on-chip (NoC) communication frameworks onto a single chip...
208
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...