2838 search results - page 422 / 568 » Verifying Controlled Components |
EWSN
2008
Springer
14 years 10 months ago
2008
Springer
Wireless Sensor Networks (WSNs) are increasingly being proposed in scenarios whose requirements cannot be fully predicted, or where the system functionality must adapt to changing ...
ICDCS
2009
IEEE
14 years 7 months ago
2009
IEEE
Recent years have witnessed the pilot deployments of audio or low-rate video wireless sensor networks for a class of mission-critical applications including search and rescue, sec...
ICCD
2006
IEEE
14 years 7 months ago
2006
IEEE
— In this paper, we present a comprehensive energy estimation framework for software executing on Very Long Instruction Word (VLIW) processor cores. The proposed energy model is ...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— Living cells are characterized by small populations of key molecular components that have large stochastic noise associated with them. Various gene network motifs exists within...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we describe a flexible and efficient new algorithm for model order reduction of parameterized systems. The method is based on the reformulation of the parametric s...