9739 search results - page 348 / 1948 » Object-Oriented Analysis and Design |
212
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Reachability analysis of finite state machines is essential to many computer-aided design applications. We present new techniques to improve both approximate and exact reachabilit...
169
Voted
POPL
1996
ACM
15 years 11 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
185
Voted
AAAI
1998
15 years 8 months ago
1998
We describe an architecture for exploring very large design spaces, for example, spaces that arise when design candidates are generated by combining components systematically from...
213
click to vote
ICISC
2007
15 years 9 months ago
2007
Abstract. We investigate three side channel attacks on ABSG, a variant of irregularly decimated generators (IDG). The three attacks are timing analysis, phase-shift fault analysis ...
309
click to vote
WETICE
1997
IEEE
15 years 11 months ago
1997
IEEE
Contemporary product design and process development is based on an iterative specify-evaluate-revise approach which is often time intensive and therein non-responsive to customer ...