Sciweavers

11172 search results - page 526 / 2235
» Testing Physical Systems
Sort
View
MCU
2004
105views Hardware» more  MCU 2004»
15 years 8 months ago
Computational Universality in Symbolic Dynamical Systems
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blon...
WSC
2004
15 years 8 months ago
Evaluation of Secure Peer-to-Peer Overlay Routing for Survivable SCADA Systems
Supervisory Control And Data Acquisition (SCADA) systems gather and analyze data for real-time control. SCADA systems are used extensively, in applications such as electrical powe...
Jeffrey J. Farris, David M. Nicol
CHI
2004
ACM
16 years 7 months ago
Presiding over accidents: system direction of human action
As human-computer interaction becomes more closely modeled on human-human interaction, new techniques and strategies for human-computer interaction are required. In response to th...
Jeffrey Heer, Nathaniel Good, Ana Ramirez, Marc Da...
ICDE
2010
IEEE
292views Database» more  ICDE 2010»
16 years 6 months ago
Exploring Power-Performance Tradeoffs in Database Systems
With the total energy consumption of computing systems increasing in a steep rate, much attention has been paid to the design of energy-efficient computing systems and applications...
Zichen Xu, Yi-Cheng Tu, Xiaorui Wang
RTCSA
2009
IEEE
16 years 1 months ago
Dynamic Thermal and Timeliness Guarantees for Distributed Real-Time Embedded Systems
Distributed real-time embedded systems have stringent requirements for key performance properties, such as endto-end timeliness and reliability, in order to operate properly. In r...
Xing Fu, Xiaorui Wang, Eric Puster