3705 search results - page 476 / 741 » Building Documentation Generators |
154
click to vote
ISCA
1996
IEEE
15 years 10 months ago
1996
IEEE
Current high performance computer systems use complex, large superscalar CPUs that interface to the main memory through a hierarchy of caches and interconnect systems. These CPU-c...
193
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
The paper discusses the issue of views in the Web context. We introduce a set of languages for managing and restructuring data coming from the World Wide Web. We present a specifi...
154
click to vote
CHI
1992
ACM
15 years 10 months ago
1992
ACM
Building an interactive application requires, amongst other activities, the design of both a data model and a user interface. These two designs are often done separately, frequent...
207
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes a novel system for creating virtual creatures that move and behave in simulated three-dimensional physical worlds. The morphologies of creatures and the neura...
226
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...