1419 search results - page 163 / 284 » A Characterization of Constructive Dimension |
164
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
162
click to vote
HYBRID
1999
Springer
15 years 10 months ago
1999
Springer
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...
201
click to vote
PADS
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we study message flow processes in distributed simulators of open queueing networks. We develop and study queueing models for distributed simulators with maximum loo...
176
click to vote
DAC
1992
ACM
15 years 10 months ago
1992
ACM
Designing instruction set processors and constructing their compilers are mutually dependent tasks. Piper is a high level synthesis tool of ADAS which controls the hardware-softwa...
176
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Database-like query processing over a network of sensors has become an attractive paradigm for building sensor applications. A sensor query is characterized by data streams among ...