2935 search results - page 491 / 587 » An Integrated Approach to High Integrity Software Verificati... |
168
click to vote
BTW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: In order to achieve efficient execution plans for queries comprising userdefined data types and predicates, the database system has to be provided with appropriate index ...
159
click to vote
ESWS
2010
Springer
15 years 10 months ago
2010
Springer
While the Semantic Web is rapidly filling up, appropriate tools for searching it are still at infancy. In this paper we describe an approach that allows humans to access informatio...
169
click to vote
GLVLSI
2000
IEEE
15 years 10 months ago
2000
IEEE
Circuit interconnect has become a substantial obstacle in the design of high performance systems. In this paper we explore a new routing paradigm that strikes at the root of the i...
141
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
157
click to vote
DSD
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract-- Networks-on-Chip will serve as the central integration platform in future complex SoC designs, composed of a large number of heterogeneous processing resources. Most res...