608 search results - page 59 / 122 » The Expressive Power of Simple Parallelism |
ICCAD
1994
IEEE
15 years 1 months ago
1994
IEEE
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
EDBT
2006
ACM
15 years 1 months ago
2006
ACM
As data management applications grow more complex, they may need efficient distributed query processing, but also subscription management, data archival etc. To enact such applicat...
101
click to vote
FPL
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
ECOOPWEXCEPTION
2000
Springer
15 years 1 months ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...