7847 search results - page 314 / 1570 » Designing intimate experiences |
214
click to vote
TCAD
2008
15 years 6 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
152
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We describe our experiences in designing new media technologies in cooperation with Liberia's Truth and Reconciliation Commission. This work includes two major projects: a dy...
211
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
The ability to integrate diverse components such as processor cores, memories, custom hardware blocks and complex network-on-chip (NoC) communication frameworks onto a single chip...
199
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
176
click to vote
VSTTE
2005
Springer
16 years 8 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...