10210 search results - page 570 / 2042 » Configuring Database Systems |
189
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
166
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Some safety-critical distributed embedded systems may need to use centralized components to achieve certain dependability properties. The difficulty in combining centralized and d...
144
click to vote
HIPEAC
2010
Springer
15 years 8 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
154
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
To prepare for future peta- or exa-scale computing, it is important to gain a good understanding on what impacts a hierarchical storage system would have on the performance of data...
140
click to vote
COLING
1996
15 years 7 months ago
1996
We. are going to describe the design and implementatior, of a connnuniealion system l.or large AI projects, capable of supporting various software components in a heterogeneous ha...