3082 search results - page 198 / 617 » Deviation Analysis: A New Use of Model Checking |
193
click to vote
MIAR
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract. A main focus of statistical shape analysis is the description of variability of a population of geometric objects. In this paper, we present work in progress towards mode...
168
click to vote
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...
169
click to vote
ICISC
2009
15 years 4 months ago
2009
Several dual-rail logic styles make use of single-rail flip-flops for storing intermediate states. We show that single mask bits, as applied by various side-channel resistant logic...
140
click to vote
INFOCOM
2006
IEEE
16 years 14 days ago
2006
IEEE
— As the commercial success of the IEEE 802.11 protocol has made wireless infrastructure widely deployed, user organizations are increasingly concerned about the new vulnerabilit...
136
click to vote
MICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
Attacking bottlenecks in modern processors is difficult because many microarchitectural events overlap with each other. This parallelism makes it difficult to both (a) assign a ...