285 search results - page 38 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
134
click to vote
ICPP
1995
IEEE
15 years 5 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
127
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
122
click to vote
CPHYSICS
2006
15 years 1 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...
139
Voted
ICPP
1998
IEEE
15 years 5 months ago
1998
IEEE
MPEG-4 which is currently being developed by MPEG (Moving Pictures Experts Group), is poised to become a standard for supporting current and emerging interactive multimedia applic...
124
click to vote
EGC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Grid technology attempts to support flexible, secure, coordinated information sharing among dynamic collections of individuals, institutions, and resources. The use of G...