3256 search results - page 460 / 652 » Applications of Formal Methods to System Design and Verifica... |
153
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
178
click to vote
IJCV
2008
15 years 5 months ago
2008
This paper presents a novel method for detecting and localizing objects of a visual category in cluttered real-world scenes. Our approach considers object categorization and figure...
223
click to vote
VEE
2012
ACM
14 years 29 days ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
170
click to vote
VLSID
2009
IEEE
16 years 6 months ago
2009
IEEE
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....
143
click to vote
AI
1999
Springer
15 years 5 months ago
1999
Springer
A central problem in multistrategy learning systems is the selection and sequencing of machine learning algorithms for particular situations. This is typically done by the system ...