1485 search results - page 195 / 297 » Whole Program Paths |
HVC
2005
Springer
14 years 2 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
IMR
2005
Springer
14 years 2 months ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...
PCI
2005
Springer
14 years 2 months ago
2005
Springer
Bioinformatics applications are one of the most relevant and compute-demanding applications today. While normally these applications are executed on clusters or dedicated parallel ...
CG
2004
Springer
14 years 2 months ago
2004
Springer
Kriegspiel is a Chess variant similar to wargames, in which players have to deal with uncertainty. Kriegspiel increases the difficulty typical of Chess by hiding from each player h...
CSL
2004
Springer
14 years 2 months ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...