1492 search results - page 52 / 299 » Testing Properties of Constraint-Graphs |
127
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
127
Voted
DDECS
2007
IEEE
15 years 9 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...
112
click to vote
IOLTS
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper describes a specific method for designing selfchecking checkers for m-out-of-n codes. The method is oriented to the Field Programmable Gate Arrays technology and is base...
129
Voted
CASC
2010
Springer
15 years 2 months ago
2010
Springer
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
130
Voted
DATESO
2010
15 years 1 months ago
2010
Non-associative quasigroups are well known combinatorial designs with many different applications. Many cryptographic algorithms based on quasigroups primitives have been published...