1522 search results - page 130 / 305 » Practical Exception Specifications |
99
Voted
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
CHES
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We propose a new technique called Differential Cluster Analysis for side-channel key recovery attacks. This technique uses cluster analysis to detect internal collisions ...
CHI
2007
ACM
16 years 2 months ago
2007
ACM
Many collaborative design tools may suffer from being too generic to address the specific complexities inherent in multidisciplinary collaboration. We provide accounts of several ...
CHI
2007
ACM
16 years 2 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,...
124
Voted
VLSID
2001
IEEE
16 years 2 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...