22864 search results - page 476 / 4573 » An Integrated and |
186
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Previous research has shown that rotation and orientation of items plays three major roles during collaboration: comprehension, coordination and communication. Based on these role...
169
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
171
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
An Application Specific Instruction Set Processor (ASIP) exploits special characteristics of the given application(s) to meet the desired performance, cost and power requirements....
181
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Client request rates for Internet services tend to be bursty and thus it is important to maintain efficient resource utilization under a wide range of load conditions. Network ser...
164
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Three experimental environments traditionally support network and distributed systems research: network emulators, network simulators, and live networks. The continued use of mult...