Sciweavers

5330 search results - page 246 / 1066
» The Performability Tool P'ility
Sort
View
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 11 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
ASPDAC
2001
ACM
185views Hardware» more  ASPDAC 2001»
15 years 11 months ago
Power optimization and management in embedded systems
Power-efficient design requires reducing power dissipation in all parts of the design and during all stages of the design process subject to constraints on the system performance ...
Massoud Pedram
RTSS
1995
IEEE
15 years 10 months ago
Compositional and Symbolic Model-Checking of Real-Time Systems
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
ASSETS
2005
ACM
15 years 9 months ago
Interactive virtual client for teaching occupational therapy evaluative processes
In this paper, we describe our current work in developing a computer-based educational tool for Occupational Therapy students learning client evaluation techniques. The software i...
Sharon A. Stansfield, Tom Butkiewicz, Evan Suma, M...
EDBT
2010
ACM
184views Database» more  EDBT 2010»
15 years 9 months ago
PARINDA: an interactive physical designer for PostgreSQL
One of the most challenging tasks for the database administrator is to physically design the database to attain optimal performance for a given workload. Physical design is hard b...
Cristina Maier, Debabrata Dash, Ioannis Alagiannis...