2268 search results - page 26 / 454 » The Essence of Form Abstraction |
FOIKS
2004
Springer
14 years 1 months ago
2004
Springer
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Models to understand the impact of management practices on retail performance are often simplistic and assume low levels of noise and linearity. Of course, in real-life, retail op...
GLVLSI
2007
IEEE
14 years 2 months ago
2007
IEEE
A PAL-based logic block is the core of great majority of contemporary CPLD devices. The purpose of the paper is to present a new approach to multi-level synthesis for PAL-based CP...
SPLC
2007
13 years 9 months ago
2007
Managing variability is the essence of software product line (PL) practice. With many variant features and complex dependencies among them, it also becomes a major challenge for e...
SAS
2004
Springer
14 years 1 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...