238 search results - page 24 / 48 » On Tractability and Congruence Distributivity |
HPCA
2008
IEEE
14 years 11 months ago
2008
IEEE
Recent advances in statistical inference and machine learning close the divide between simulation and classical optimization, thereby enabling more rigorous and robust microarchit...
CONCUR
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
TLCA
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
ICRA
2006
IEEE
14 years 5 months ago
2006
IEEE
Abstract—Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses s...
CHES
2005
Springer
14 years 4 months ago
2005
Springer
We demonstrate that masking a block cipher implementation does not sufficiently improve its security against side-channel attacks. Under exactly the same hypotheses as in a Differ...