1816 search results - page 177 / 364 » Trace oblivious computation |
SCALESPACE
2009
Springer
14 years 3 months ago
2009
Springer
Adding external knowledge improves the results for ill-posed problems. In this paper we present a new multi-level optimization framework for image registration when adding landmark...
SPIN
2009
Springer
14 years 3 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
ACSC
2008
IEEE
14 years 3 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
CLUSTER
2008
IEEE
14 years 3 months ago
2008
IEEE
—Several performance analysis tools support hybrid applications. Most originated as MPI profiling or tracing tools and OpenMP capabilities were added to extend the performance a...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
The modeling of power and thermal behavior of modern processors requires challenging validation approaches, which may be complex and in some cases unreliable. In order to address ...