4722 search results - page 648 / 945 » Encoding Program Executions |
153
Voted
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
130
Voted
HPDC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses the problem of efficient execution of a batch of data-intensive tasks with batch-shared I/O behavior, on coupled storage and compute clusters. Two scheduling...
122
click to vote
IEEESCC
2006
IEEE
15 years 9 months ago
2006
IEEE
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...
159
Voted
ISSRE
2006
IEEE
15 years 9 months ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
136
Voted
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
Dynamically partitioning of adaptive applications and migration of excess workload from overloaded processors to underloaded processors during execution are critical techniques ne...