7167 search results - page 1220 / 1434 » A Technique for Invariant Generation |
242
click to vote
EMSOFT
2011
Springer
14 years 7 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
184
click to vote
ETS
2011
IEEE
14 years 7 months ago
2011
IEEE
—The notion of Architectural Vulnerability Factor (AVF) has been extensively used by designers to evaluate various aspects of design robustness. While AVF is a very accurate way ...
214
click to vote
IACR
2011
14 years 6 months ago
2011
We give new methods for generating and using “strong trapdoors” in cryptographic lattices, which are simultaneously simple, efficient, easy to implement (even in parallel), a...
211
click to vote
ASPLOS
2012
ACM
14 years 3 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
275
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Users have come to rely on automated route finding services for driving, public transit, walking, and bicycling. Current state of the art route finding algorithms typically rely...