575 search results - page 74 / 115 » Analysis of program based on Synchronous Active Objects |
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
ECSQARU
2003
Springer
14 years 2 months ago
2003
Springer
To make qualified decisions when extrapolating results from a survey sample with imprecise tests requires careful handling of uncertainty. Both the imprecise test and uncertainty ...
PPOPP
2003
ACM
14 years 2 months ago
2003
ACM
Speculative multithreading (SpMT) architecture can exploit thread-level parallelism that cannot be identified statically. Speedup can be obtained by speculatively executing threa...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— In this paper we discuss active humanoid vision systems that realize foveation using two rigidly connected cameras in each eye. We present an exhaustive analysis of the relatio...
IFIP
1994
Springer
14 years 1 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...