1027 search results - page 75 / 206 » Callgraph properties of executables |
78
Voted
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we first present two tagging mechanisms; the SCISM and IA-64; thereafter we describe the mapping of IA-64 ISA to a SCISM configuration without changing or reassigni...
77
Voted
FLOPS
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
81
Voted
ISPA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A loop with irregular assignment computations contains loopcarried output data dependences that can only be detected at run-time. In this paper, a load-balanced method ba...
104
Voted
SBIA
2004
Springer
15 years 6 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
117
Voted
STEP
2003
IEEE
15 years 6 months ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...