3006 search results - page 128 / 602 » Overview |
113
click to vote
DAC
1990
ACM
15 years 7 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
POPL
1989
ACM
15 years 7 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
127
click to vote
SSD
1989
Springer
15 years 7 months ago
1989
Springer
An overview is presented of the use of hierarchical spatial data structures such as the quadtree. They are based on the principle of recursive decomposition. The focus is on the r...
113
Voted
CANDC
2007
ACM
15 years 7 months ago
2007
ACM
This paper reports on a transdisciplinary undergraduate university course designed to bring together fine art/visual communication design and computer science students for the cre...
126
Voted
ECOOPW
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...