660 search results - page 91 / 132 » The Implicit Calculus of Constructions |
CN
1999
13 years 8 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
PE
2002
Springer
13 years 8 months ago
2002
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
ML
2007
ACM
13 years 8 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
RTS
2010
13 years 7 months ago
2010
This article presents a detailed discussion of LRE-TL (Local Remaining Execution - TL-plane), an algorithm that schedules hard real-time periodic and sporadic task sets with uncon...
FOSSACS
2012
Springer
12 years 4 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...