182
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
160
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
183
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...
155
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
The algebraic specification of information systems (including
176
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
d Abstract) David Kitchin, Evan Powell, and Jayadev Misra The University of Texas at Austin The real world is inherently concurrent and temporal. For simulating physical phenomena ...