28962 search results - page 351 / 5793 » Computational Mechanism Design |
188
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
152
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Reducing the energy consumed in the use of computing devices is becoming a major design challenge. While the problem obviously must be addressed with improved low-level technology...
142
click to vote
HCI
2007
15 years 8 months ago
2007
The objective of this research is to present the symbiosis concept that integrates creativity and the recent research issues in affective response to products shapes. The major ide...
179
Voted
FAST
2009
15 years 4 months ago
2009
The advent of cloud computing provides a cheap and convenient mechanism for scientists to share data. The utility of such data is obviously enhanced when the provenance of the dat...
189
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
One fundamental challenge for the design of the interactive systems of the future is to invent and design environments and cultures in which humans can express themselves and enga...