3130 search results - page 73 / 626 » Design Correctness of Digital Systems |
131
Voted
HICSS
1998
IEEE
15 years 7 months ago
1998
IEEE
Improvements in computer network infrastructures and information utilities have led to an increase in the number of social and work interactions carried out `virtually' by ge...
160
Voted
CASES
2008
ACM
15 years 5 months ago
2008
ACM
We introduce the first approach that can actively control multiple hardware intellectual property (IP) cores used in an integrated circuit (IC). The IP rights owner(s) can remotel...
118
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...
137
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
We present a system for the peripheral display of digital handwritten notes, motivated by the joint observation that people seldom refer back to their notes and that these notes o...
106
Voted
JCDL
2003
ACM
15 years 8 months ago
2003
ACM
We describe current efforts and developments building on our proposal for an XML log standard format for digital library (DL) logging analysis and companion tools. Focus is given ...