4722 search results - page 819 / 945 » Representation-independent program analysis |
RP
2009
Springer
14 years 15 days ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
EUROPAR
2001
Springer
14 years 13 days ago
2001
Springer
High-accuracy PDE solvers use multi-dimensional fast Fourier transforms. The FFTs exhibits a static and structured memory access pattern which results in a large amount of communic...
ICS
2001
Tsinghua U.
14 years 12 days ago
2001
Tsinghua U.
Application performance tuning is a complex process that requires assembling various types of information and correlating it with source code to pinpoint the causes of performance...
PROMS
2001
Springer
14 years 11 days ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
IPPS
2000
IEEE
14 years 10 days ago
2000
IEEE
Abstract. To achieve an efficient utilization of cluster systems, a proper programming and operating environment is required. In this context, mobile agents are of growing interes...