5159 search results - page 259 / 1032 » Structural Testing of Executables |
192
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
165
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
We propose a model for describing the parallel performance of multigrid software on distributed memory architectures. The goal of the model is to allow reliable predictions to be m...
208
click to vote
ISORC
2005
IEEE
16 years 22 days ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
200
click to vote
PPAM
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. In this paper we deal with the problem of finding an optimal query execution plan in database systems. We improve the analysis of a polynomial-time approximation algorit...
182
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a family of simulators that have been developed for data-intensive applications, and a methodology to select the most efficient one based on a usersupplied req...