4397 search results - page 215 / 880 » Relational Algebra Operations |
192
Voted
HPCA
2012
IEEE
13 years 11 months ago
2012
IEEE
Phase change memory (PCM) recently has emerged as a promising technology to meet the fast growing demand for large capacity memory in modern computer systems. In particular, multi...
120
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
105
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Coordination of a group of mobile robots is facilitated when they are able to determine their positions relative to each other. Instead of using an absolute positioning approac...
114
Voted
ADBIS
2005
Springer
15 years 9 months ago
2005
Springer
XML-relational systems with well defined XML and relational schemas are widely used in industry. In the presence of rapidly changing requirements both schemas of such a model need...
79
Voted
ACL
1998
15 years 5 months ago
1998
Recently manuals of industrial products become large and often consist of separated volumes. In reading such individual but related manuals, we must consider the relation among se...