2367 search results - page 26 / 474 » An experimental analysis of self-adjusting computation |
ICB
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. Cryptographic transactions form the basis of many common security systems found throughout computer networks. Supporting these transactions with biometrics is very desira...
DAC
2000
ACM
14 years 10 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
ISPDC
2007
IEEE
14 years 3 months ago
2007
IEEE
Selection of spaceborne computing platforms requires balance among several competing factors. Traditional performance analysis techniques are illsuited for this purpose due to the...
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
ACG
2006
Springer
14 years 3 months ago
2006
Springer
Seki is a situation of coexistence in the game of Go, where neither player can profitably capture the opponent’s stones. This paper presents a new method for deciding whether an...