1185 search results - page 207 / 237 » Implementing Functional Languages: a tutorial |
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
AMAI
2004
Springer
14 years 2 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
We have upgraded the Conceptual Programming Environment (CP) from a single standalone application to a set of component modules to increase flexibility of the environment and to a...
ISADS
2003
IEEE
14 years 2 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
ITC
2003
IEEE
14 years 2 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...