2838 search results - page 211 / 568 » Verifying Controlled Components |
123
click to vote
TVLSI
2008
15 years 2 months ago
2008
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...
119
Voted
KI
2001
Springer
15 years 7 months ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
235
click to vote
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
121
click to vote
ICCV
2001
IEEE
16 years 4 months ago
2001
IEEE
A Photometric Image-Based Rendering (PIBR) concept is proposed that facilitates the generation of an image with an arbitrary illumination. Based on this concept, we aim to generat...
111
Voted
CCS
2010
ACM
15 years 9 months ago
2010
ACM
A web mashup is a web application that integrates content from different providers to create a new service, not offered by the content providers. As mashups grow in popularity, ...