4440 search results - page 717 / 888 » The space of design |
154
click to vote
ESA
2004
Springer
15 years 12 months ago
2004
Springer
We study a basic problem in Multi-Queue switches. A switch connects m input ports to a single output port. Each input port is equipped with an incoming FIFO queue with bounded cap...
152
click to vote
ESA
2004
Springer
15 years 12 months ago
2004
Springer
The algorithms of computational geometry are designed for a machine model with exact real arithmetic. Substituting floating-point arithmetic for the assumed real arithmetic may c...
156
Voted
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
165
click to vote
ICMI
2004
Springer
15 years 12 months ago
2004
Springer
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...
183
click to vote
IPSN
2004
Springer
15 years 12 months ago
2004
Springer
This paper investigates the problem of designing decentralized representations to support monitoring and inferences in sensor networks. State-space models of physical phenomena su...