610 search results - page 86 / 122 » Synchronous Programming of Reactive Systems |
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
SBCCI
2004
ACM
14 years 1 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
The application of aspect-oriented programming (AOP) to the embedded operating system domain is still a very controversial topic, as this area demands high performance and small m...
DSN
2006
IEEE
14 years 1 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...