6608 search results - page 1001 / 1322 » On the Completeness of Model Checking |
156
click to vote
ICS
2005
Tsinghua U.
16 years 7 days ago
2005
Tsinghua U.
A key step in program optimization is the determination of optimal values for code optimization parameters such as cache tile sizes and loop unrolling factors. One approach, which...
187
click to vote
IPMI
2005
Springer
16 years 7 days ago
2005
Springer
Many types of transformations are used to model deformations in medical image registration. While some focus on modeling local changes, some on continuity and invertibility, there ...
191
click to vote
WABI
2005
Springer
16 years 6 days ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
160
click to vote
ADC
2004
Springer
16 years 4 days ago
2004
Springer
Workflow technology has met with success in a variety of industries, although several limitations have emerged. One such drawback is the inflexibility of specification languages, ...
160
click to vote
ISPA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...