508 search results - page 4 / 102 » RPC in the x-Kernel: Evaluating New Design Techniques |
CHI
2009
ACM
14 years 6 months ago
2009
ACM
Indirect input techniques allow users to quickly access all parts of tabletop workspaces without the need for physical access; however, indirect techniques restrict the available ...
CASES
2006
ACM
13 years 11 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
INTEGRATION
2008
13 years 5 months ago
2008
Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the quality of the final design,...
DAC
1994
ACM
13 years 9 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
ICUMT
2009
13 years 3 months ago
2009
Abstract--A new approach to the design of wireless data broadcasting systems is introduced. The proposed approach is based on the mathematical analysis of the aforementioned system...