5754 search results - page 719 / 1151 » Multi-class Model M |
172
click to vote
ISAS
2004
Springer
16 years 26 days ago
2004
Springer
This paper describes the architectures that can be used to build highly available database management systems. We describe these architectures along two dimensions – process redu...
151
click to vote
SAMOS
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconf...
183
Voted
TACAS
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
170
click to vote
WAPCV
2004
Springer
16 years 25 days ago
2004
Springer
Bottom-up cortical representations of visual conspicuity interact with top-down internal cognitive models of the external world to control eye movements, EMs, and the closely linke...
192
click to vote
ATS
2003
IEEE
16 years 24 days ago
2003
IEEE
Recent probabilistic test generation approaches have proven that detecting single stuck-at faults multiple times is effective at reducing the defective part level (DPL). Unfortuna...