6581 search results - page 919 / 1317 » Formalizing Design Patterns |
156
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
We study diagnosis of segments on speedpaths that fail the timing constraint at the post-silicon stage due to manufacturing variations. We propose a formal procedure that is appli...
206
click to vote
EICS
2010
ACM
15 years 7 months ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...
174
click to vote
PODS
2010
ACM
15 years 7 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
172
click to vote
CGF
2008
15 years 7 months ago
2008
We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free-form modeli...
179
click to vote
CONCURRENCY
2008
15 years 7 months ago
2008
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...