3463 search results - page 433 / 693 » Modeling and executing master-worker applications in compone... |
188
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
170
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
174
click to vote
IPPS
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper, we consider the interaction between application programmers and tools that automatically search a space of application-level parameters that are believed to impact ...
266
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Non-rigid object detection and articulated pose estimation
are two related and challenging problems in computer
vision. Numerous models have been proposed over the
years and oft...
177
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. Foreground and background segmentation is a typical problem in computer vision and medical imaging. In this paper, we propose a new learning based approach for 3D segment...