Sciweavers

15155 search results - page 374 / 3031
» System Software
Sort
View
VTS
2006
IEEE
102views Hardware» more  VTS 2006»
16 years 23 days ago
Energy Efficient Software-Based Self-Test for Wireless Sensor Network Nodes
We consider self-testing of complete wireless nodes in the field through a low-energy software-based selftest (SBST) method. Energy consumption is optimized both for individual co...
Rong Zhang, Zeljko Zilic, Katarzyna Radecka
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
15 years 12 months ago
Timing modeling and analysis for AUTOSAR-based software development - a case study
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wol...
ECSCW
1997
15 years 8 months ago
Doing Software Development: Occasions for Automation and Formalisation
The use of workflow technology has created considerable discussion within the CSCW community. Although the debates have been grounded in theories of work, less has been written abo...
Rebecca E. Grinter
CORR
2006
Springer
106views Education» more  CORR 2006»
15 years 6 months ago
Checkbochs: Use Hardware to Check Software
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
Sorav Bansal
ICSE
2010
IEEE-ACM
15 years 11 months ago
Runtime repair of software faults using event-driven monitoring
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
Chris Lewis 0002, Jim Whitehead