11716 search results - page 2296 / 2344 » Computable symbolic dynamics |
ITC
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper addresses the problem of efficiently and accurately generating two-vector tests for crosstalk induced effects, such as pulses, signal speedup and slowdown, in digital c...
VLDB
1999
ACM
14 years 1 months ago
1999
ACM
We describe the architecture of a hypertext resource discovery system using a relational database. Such a system can answer questions that combine page contents, metadata, and hyp...
RTSS
1998
IEEE
14 years 1 months ago
1998
IEEE
The energy efficiency of systems-on-a-chip can be much improved if one were to vary the supply voltage dynamically at run time. In this paper we describe the synthesis of systems-...
PLDI
1998
ACM
14 years 1 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
SIGCOMM
1998
ACM
14 years 1 months ago
1998
ACM
Multicast routing enables e cient data distribution to multiple recipients. However, existing work has concentrated on extending single-domain techniques to wide-area networks, ra...