306 search results - page 16 / 62 » Constructive analysis, types and exact real numbers |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
CVPR
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper, we propose a novel algorithm for computing an atlas from a collection of images. In the literature, atlases have almost always been computed as some types of means ...
HVC
2005
Springer
14 years 1 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
EVOW
2003
Springer
14 years 23 days ago
2003
Springer
Chromosomal aberrations are differences in DNA sequence copy number of chromosome regions 3 . These differences may be crucial genetic events in the development and progression o...
ECOOP
2005
Springer
14 years 1 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...