3130 search results - page 209 / 626 » Design Correctness of Digital Systems |
190
click to vote
DAC
2003
ACM
16 years 7 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...
152
click to vote
ICPP
2002
IEEE
15 years 11 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...
151
click to vote
CCS
2001
ACM
15 years 11 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...
149
click to vote
OOPSLA
2007
Springer
16 years 21 days 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 ...
162
click to vote
DESRIST
2009
Springer
15 years 11 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...