Sciweavers

3281 search results - page 224 / 657
» An Approach to use Executable Models for Testing
Sort
View
135
Voted
ICPR
2006
IEEE
15 years 9 months ago
Real Time Limb Tracking with Adaptive Model Selection
We describe an efficient and robust method of tracking human forearms as skin colored regions. Of special consideration in the design of this system are real-time and robustness ...
Matheen Siddiqui, Gérard G. Medioni
129
Voted
ASPLOS
2011
ACM
14 years 7 months ago
Specifying and checking semantic atomicity for multithreaded programs
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
Jacob Burnim, George C. Necula, Koushik Sen
102
Voted
EUROGP
2007
Springer
104views Optimization» more  EUROGP 2007»
15 years 9 months ago
Code Regulation in Open Ended Evolution
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
Lidia Yamamoto
123
Voted
RTCSA
2006
IEEE
15 years 9 months ago
Automatic Generation and Validation of Models of Legacy Software
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
Joel Huselius, Johan Andersson, Hans Hansson, Sasi...
118
Voted
EDBT
2008
ACM
194views Database» more  EDBT 2008»
16 years 3 months ago
XCraft: boosting the performance of active XML materialization
An active XML (AXML) document contains tags representing calls to Web services. Therefore, retrieving its contents consists in materializing its data elements by invoking the embe...
Gabriela Ruberg, Marta Mattoso