Sciweavers

2539 search results - page 93 / 508
» Debugging Method Names
Sort
View
SAC
2009
ACM
15 years 4 months ago
Lightweight monitoring of sensor software
Wireless sensors are very small computers, and understanding the timing and behavior of software written for them is crucial to ensuring that they perform correctly. This paper ou...
Mustafa Hammad, Jonathan Cook
ICCS
2009
Springer
15 years 4 months ago
Automated Provenance Collection for CCA Component Assemblies
The problem of capturing provenance for computational tasks has recently received significant attention, due to the new set of beneficial uses (for optimization, debugging, etc.)...
Kostadin Damevski, Hui Chen
ISSTA
2009
ACM
15 years 4 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat
ICPADS
2006
IEEE
15 years 4 months ago
Flexible, Low-overhead Event Logging to Support Resource Scheduling
Flexible resource management and scheduling policies require detailed system-state information. Traditional, monolithic operating systems with a centralized kernel derive the requ...
Jan Stoess, Volkmar Uhlig
ANSS
2005
IEEE
15 years 3 months ago
Autonomic Web-Based Simulation
Many scientific simulations are large programs which despite careful debugging and testing will probably contain errors when deployed to the Web for use. Based on the assumption ...
Yingping Huang, Gregory R. Madey