2935 search results - page 501 / 587 » An Integrated Approach to High Integrity Software Verificati... |
173
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
Object-Relational database management system is an integrated hybrid cooperative approach to combine the best practices of both the relational model utilizing SQL queries and the ...
150
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Temperature has a strong influence on integrated circuit (IC) performance, power consumption, and reliability. However, accurate thermal analysis can impose high computation co...
172
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
159
click to vote
HAPTICS
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we present computationally efficient algorithms for the real time simulation of minimally invasive surgical (MIS) procedures. To develop a surgical simulator for tr...
137
click to vote
ICS
2010
Tsinghua U.
15 years 10 months ago
2010
Tsinghua U.
We present a new cache oblivious scheme for iterative stencil computations that performs beyond system bandwidth limitations as though gigabytes of data could reside in an enormou...