22128 search results - page 4372 / 4426 » Research in Structural Computing |
DFG
2004
Springer
15 years 1 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
CIKM
2006
Springer
15 years 1 months ago
2006
Springer
Radio Frequency Identification (RFID) technology is fast becoming a prevalent tool in tracking commodities in supply chain management applications. The movement of commodities thr...
CIVR
2006
Springer
15 years 1 months ago
2006
Springer
A combination of query-by-visual-example (QBVE) and semantic retrieval (SR), denoted as query-by-semantic-example (QBSE), is proposed. Images are labeled with respect to a vocabula...
100
click to vote
FCCM
2004
IEEE
15 years 1 months ago
2004
IEEE
Dynamically Reconfigurable Processor (DRP)[1] developed by NEC Electronics is a coarse grain reconfigurable processor that selects a data path from the on-chip repository of sixte...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...