1724 search results - page 132 / 345 » Models for Concurrency |
152
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
125
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
207
Voted
TON
2002
15 years 5 months ago
2002
Abstract--The capacity of ad hoc wireless networks is constrained by the mutual interference of concurrent transmissions between nodes. We study a model of an ad hoc network where ...
171
click to vote
VLDB
1993
ACM
15 years 9 months ago
1993
ACM
Object-oriented databases are a recent and important development and many studies of them have been performed. These consider aspects such as data modeling, query languages, perfo...
150
click to vote
ISMAR
2008
IEEE
15 years 12 months ago
2008
IEEE
This paper presents a system that allows online building of 3D wireframe models through a combination of user interaction and automated methods from a handheld camera-mouse. Cruci...