4397 search results - page 344 / 880 » Relational Algebra Operations |
139
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
130
Voted
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
138
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
134
click to vote
ASAP
2003
IEEE
15 years 10 months ago
2003
IEEE
There is a growing demand for application-specific embedded processors in system-on-a-chip designs. Current tools and design methodologies often require designers to manually spec...
124
click to vote
VISUALIZATION
2003
IEEE
15 years 10 months ago
2003
IEEE
The goal of this paper is to transfer image processing to vector fields and flow visualization by defining a suitable convolution operation. For this, a multiplication of vecto...