5159 search results - page 615 / 1032 » Structural Testing of Executables |
219
click to vote
AAMAS
1999
Springer
15 years 7 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
190
click to vote
ML
2002
ACM
15 years 7 months ago
2002
ACM
The execution order of a block of computer instructions on a pipelined machine can make a difference in running time by a factor of two or more. Compilers use heuristic schedulers...
184
click to vote
SP
2002
IEEE
15 years 7 months ago
2002
IEEE
The design and prototype implementation of the XCAT Grid Science Portal is described in this paper. The portal lets grid application programmers easily script complex distributed ...
204
click to vote
ET
2008
15 years 7 months ago
2008
Processor cores embedded in systems-on-a-chip (SoCs) are often deployed in critical computations, and when affected by faults they may produce dramatic effects. When hardware harde...
201
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...