4520 search results - page 161 / 904 » Algebraic Techniques for Timed Systems |
185
click to vote
AAAI
1996
15 years 8 months ago
1996
In recent years, compositional modeling and selfexplanatory simulation techniques have simplified the process of building dynamic simulators of physical systems. Building steady-s...
204
click to vote
KBSE
2005
IEEE
16 years 19 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
158
click to vote
ICCD
2002
IEEE
16 years 4 months ago
2002
IEEE
— As the cost of embedded sensors and actuators drops, new applications will arise that exploit high density networks of small devices capable of a variety of sensing tasks. Alth...
175
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...
162
click to vote
GLVLSI
2005
IEEE
16 years 20 days ago
2005
IEEE
The ever-increasing number of transistors on a chip has resulted in very large scale integration (VLSI) systems whose performance and manufacturing costs are driven by on-chip wir...