1884 search results - page 156 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
123
click to vote
ICSE
2007
IEEE-ACM
15 years 7 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
102
click to vote
FMSB
2008
15 years 2 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
120
click to vote
ACSD
2004
IEEE
15 years 5 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
115
click to vote
SOSP
2005
ACM
15 years 10 months ago
2005
ACM
ormation flow. A new event process abstraction defines lightweight, isolated contexts within a single process, allowing one process to act on behalf of multiple users while preve...