7623 search results - page 1452 / 1525 » Constructive Volume Modeling |
ICCD
2006
IEEE
15 years 9 months ago
2006
IEEE
— New back-end design for manufacturability rules have brought guarantee rules for interconnect matching. These rules indicate a certain capacitance matching guarantee given spac...
105
click to vote
SOSP
2005
ACM
15 years 9 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
108
Voted
IUI
2010
ACM
15 years 9 months ago
2010
ACM
People interact with interfaces to accomplish goals, and knowledge about human goals can be useful for building intelligent user interfaces. We suggest that modeling high, human-l...
109
Voted
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Twitter, a popular microblogging service, has received much attention recently. An important characteristic of Twitter is its real-time nature. For example, when an earthquake occ...
87
Voted
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...