4426 search results - page 732 / 886 » Concurrent Constraint Programming |
143
click to vote
FASE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
144
click to vote
LCTRTS
2001
Springer
15 years 9 months ago
2001
Springer
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...
131
click to vote
ECRTS
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
130
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
155
click to vote
DATE
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper investigates retiming and clock skew scheduling for improving the tolerance of synchronous circuits to delay variations. It is shown that when both long and short paths...