Sciweavers

723 search results - page 88 / 145
» Exclusion for composite objects
Sort
View
ECOOP
1999
Springer
14 years 1 months ago
Type-Safe Delegation for Run-Time Component Adaptation
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
Günter Kniesel
PLDI
1997
ACM
14 years 1 months ago
Two for the Price of One: Composing Partial Evaluation and Compilation
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
Michael Sperber, Peter Thiemann
ICCAD
1994
IEEE
111views Hardware» more  ICCAD 1994»
14 years 1 months ago
On modeling top-down VLSI design
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
Bernd Schürmann, Joachim Altmeyer, Martin Sch...
ECHT
1994
14 years 1 months ago
VIKI: Spatial Hypertext Supporting Emergent Structure
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...
Catherine C. Marshall, Frank M. Shipman III, James...
ICALP
1990
Springer
14 years 1 months ago
Determining the Separation of Preprocessed Polyhedra - A Unified Approach
We show how (now familiar) hierarchical representations of (convex) polyhedra can be used to answer various separation queries efficiently (in a number of cases, optimally). Our e...
David P. Dobkin, David G. Kirkpatrick