Sciweavers

5900 search results - page 284 / 1180
» Dependable Systems
Sort
View
ISCAS
2011
IEEE
342views Hardware» more  ISCAS 2011»
14 years 10 months ago
Parallel Dynamic Voltage and Frequency Scaling for stream decoding using a multicore embedded system
—Parallel structures may be used to increase a system processing speed in case of large amount of data or highly complex calculations. Dynamic Voltage and Frequency Scaling (DVFS...
Ying-Xun Lai, Yueh-Min Huang, Chin-Feng Lai, Ljilj...
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
15 years 11 months ago
DynAHeal: Dynamic energy efficient task assignment for wireless healthcare systems
—Energy consumption is a critical parameter in wireless healthcare systems which consist of battery operated devices such as sensors and local aggregators. The system battery lif...
Priti Aghera, Dilip Krishnaswamy, Diana Fang, Ayse...
APCSAC
2001
IEEE
15 years 10 months ago
Password-Capabilities: Their Evolution from the Password-Capability System into Walnut and Beyond
Since we first devised and defined password-capabilities as a new technique for building capability-based operating systems, a number of research systems around the world have use...
Ronald Pose
ICCCN
2007
IEEE
16 years 28 days ago
A Novel Signal Reconstruction Algorithm for Perception Based Data Reduction in Haptic Signal Communication
The performance and immersiveness of telepresence and teleaction systems critically depend on the quality of the communication between the operator and the teleoperator. High pack...
Julius Kammerl, Peter Hinterseer, Eckehard G. Stei...
ICFEM
2010
Springer
15 years 5 months ago
Automating Cut-off for Multi-parameterized Systems
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
Youssef Hanna, David Samuelson, Samik Basu, Hrides...