Sciweavers

3991 search results - page 547 / 799
» Bounding homogeneous models
Sort
View
JVM
2001
97views Education» more  JVM 2001»
15 years 6 months ago
Deterministic Execution of Java's Primitive Bytecode Operations
For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...
Fridtjof Siebert, Andy Walter
111
Voted
OPODIS
2004
15 years 6 months ago
Directional Versus Omnidirectional Antennas for Energy Consumption and k-Connectivity of Networks of Sensors
A network is k-connected if it remains connected after the removal of any k - 1 of its nodes. Assume that n sensors, modeled here as (omni)directional antennas, are dropped random...
Evangelos Kranakis, Danny Krizanc, Eric Williams
110
Voted
PTS
2004
69views Hardware» more  PTS 2004»
15 years 6 months ago
On Testing Partially Specified IOTS through Lossless Queues
In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified inpu...
Jiale Huo, Alexandre Petrenko
UAI
2001
15 years 6 months ago
Vector-space Analysis of Belief-state Approximation for POMDPs
We propose a new approach to value-directed belief state approximationfor POMDPs. The valuedirected model allows one to choose approximation methods for belief state monitoringtha...
Pascal Poupart, Craig Boutilier
SODA
2004
ACM
155views Algorithms» more  SODA 2004»
15 years 6 months ago
Navigating nets: simple algorithms for proximity search
d Abstract] Robert Krauthgamer James R. Lee We present a simple deterministic data structure for maintaining a set S of points in a general metric space, while supporting proximit...
Robert Krauthgamer, James R. Lee