3993 search results - page 309 / 799 » Matchmaking for Structured Objects |
107
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
Standard interfaces for hardware reuse are currently de ned at the structural level. In contrast to this, our contribution de nes the reuse interface at the behavioral registertra...
229
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
133
click to vote
SIGCSE
1996
ACM
15 years 8 months ago
1996
ACM
The Binary Search Tree serves as an important example when teaching data structures. We explore new approaches to understanding the implementation of a Binary Search Tree, using c...
106
click to vote
VLDB
1990
ACM
15 years 8 months ago
1990
ACM
In this paper we describe a new language for statistical data modelling, which offers a general framework for the representation of elementary and summarydata.Thereare threemain c...
101
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
This paper introduces the critical social theory of French sociologist Pierre Bourdieu. The objective of Bourdieu's theoretical framework is to uncover the buried organizatio...