7486 search results - page 1208 / 1498 » The Limits of Quantum Computers |
196
click to vote
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
Usual cache optimisation techniques for high performance computing are difficult to apply in embedded VLIW applications. First, embedded applications are not always well structur...
174
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present a new technique for extracting regions of interest (ROI) applying a local watershed transformation. The proposed strategy for computing catchment basins ...
172
click to vote
EDCC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
223
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
194
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Audit logs, providing information about the current and past states of systems, are one of the most important parts of modern computer systems. Providing security for audit logs on...