1975 search results - page 47 / 395 » Property analysis and design understanding |
112
click to vote
DDECS
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper describes a new self-testing 1-bit full adder. This circuit consists of three polymorphic NAND/NOR gates, two XOR gates and two inverters. The adder is able to detec...
130
click to vote
WOSP
2005
ACM
15 years 7 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
CHI
2010
ACM
15 years 8 months ago
2010
ACM
A typical product development lifecycle for interactive systems starts with contextual analysis to guide system design. The challenge however is in transitioning from findings abo...
DSN
2005
IEEE
15 years 7 months ago
2005
IEEE
We propose the first model of stateful firewalls. In this model, each stateful firewall has a variable set called the state of the firewall, which is used to store some packet...
138
click to vote
SEKE
2005
Springer
15 years 7 months ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...