4693 search results - page 262 / 939 » Verifying Hybrid Systems |
132
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
Reconfigurable computing systems have developed the capability of changing the configuration of the reconfigurable coprocessor multiple times during the course of a program. Howev...
164
click to vote
ICRA
2006
IEEE
16 years 20 days ago
2006
IEEE
— We present a vision- and ladar-based approach to autonomous driving on rural and desert roads that has been tested extensively in a closed-loop system. The vision component use...
187
click to vote
CIKM
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes a framework for defining domain specific Feature Functions in a user friendly form to be used in a Maximum Entropy Markov Model (MEMM) for the Named Entity Re...
133
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we overview general hardware architecture and a programming model of SRC-6ETM reconfigurable computers, and compare the performance of the SRC-6E machine vs. IntelÂ...
193
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...