Sciweavers

1257 search results - page 221 / 252
» Layering a Minimal Interface
Sort
View
EMNETS
2007
13 years 11 months ago
SeeDTV: deployment-time validation for wireless sensor networks
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...
H. Liu, Leo Selavo, John A. Stankovic
ICDCS
2007
IEEE
13 years 11 months ago
Heuristic Approaches to Energy-Efficient Network Design Problem
Energy management remains a critical problem in wireless networks since battery technology cannot keep up with rising communication expectations. Current approaches to energy cons...
Cigdem Sengul, Robin Kravets
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
13 years 11 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
FM
2006
Springer
146views Formal Methods» more  FM 2006»
13 years 11 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
WSC
2008
13 years 10 months ago
A simulator to improve waiting times at a Medical Imaging Center
Medical Imaging Centers (MIC) are critical units in every hospital or medical center because they are an important step in generating a patient's diagnostic. This paper shows...
Francisco J. Ramis, Felipe F. Baesler, Edgar Berho...