4516 search results - page 500 / 904 » Automated System Design for Availability |
180
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
184
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Synchronous dataflow (SDF) has been successfully used in design tools for system-level simulation of wireless communication systems. Modern wireless communication standards involv...
175
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Three-dimensional integrated circuits (3DICs) have the potential to reduce interconnect lengths and improve digital system performance. However, heat removal is more difficult in ...
131
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
In this poster, we describe WOOD (Web-based Objectoriented Desktop) which is a web-based personalization information system. It provides various types of application components to...
176
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...