3130 search results - page 209 / 626 » Design Correctness of Digital Systems |
152
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
A low power wireless intercom system is designed and implemented. Two fully-operational ASICs, integrating custom and commercial IP, implement the entire digital portion of the pr...
125
click to vote
ICPP
2002
IEEE
15 years 9 months ago
2002
IEEE
The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronizati...
125
click to vote
CCS
2001
ACM
15 years 8 months ago
2001
ACM
Many encryption systems require the user to memorize high entropy passwords or passphrases and reproduce them exactly. This is often a difficult task. We propose a more fault-tole...
115
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
128
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
Simon’s The Sciences of the Artificial is rightly influential as a founding text in design research in the information systems field (IS). Simon’s contributions in the same vo...