7421 search results - page 262 / 1485 » In search of dependable design |
183
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...
170
click to vote
VTS
2000
IEEE
15 years 11 months ago
2000
IEEE
Redundancy techniques are commonly used to design dependable systems to ensure high reliability, availability and data integrity. Triple Modular Redundancy (TMR) is a widely used ...
151
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
We propose a non-humanlike spoken dialogue design, which consists of two elements: non-humanlike turn-taking and non-humanlike acknowledgment. Two experimental studies are reporte...
180
click to vote
APLAS
2004
ACM
16 years 5 days ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
183
click to vote
BIS
2007
15 years 8 months ago
2007
Choreography description languages have been put forward for capturing sets of interactions and their control and data dependencies, seen from a global perspective. Choreographies ...