20126 search results - page 3309 / 4026 » Timed Transition Systems |
230
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
This paper presents a variation resilient circuit design technique for maintaining parametric yield of design under inherent variation in process parameters. We propose to utilize...
193
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Modern Web 2.0 applications, such as GMail, Live Maps, Facebook and many others, use a combination of Dynamic HTML, JavaScript and other Web browser technologies commonly referred...
224
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
This paper presents PrivacyGrid - a framework for supporting anonymous location-based queries in mobile information delivery systems. The PrivacyGrid framework offers three unique...
369
click to vote
PLDI
2009
ACM
16 years 8 months ago
2009
ACM
Inefficient use of memory, including leaks and bloat, remain a significant challenge for C and C++ developers. Applications with these problems become slower over time as their wo...
348
click to vote
PADL
2009
Springer
16 years 8 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...