5599 search results - page 834 / 1120 » Abstract State Services |
151
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. A range of attacks on network components, such as algorithmic denial-of-service attacks and cryptanalysis via timing attacks, are enabled by data structures for which an ...
176
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
141
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Extended Abstract: Supporting Design Studio Culture in HCI The workshop considers the needs and possibilities for integrating design studio culture within the research, education,...
161
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
168
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. This paper presents a new method for studying protein folding kinetics. It uses the recently introduced Stochastic Roadmap Simulation (SRS) method to estimate the transit...