3575 search results - page 99 / 715 » Modeling Concurrency with Geometry |
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
123
click to vote
HASE
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
106
click to vote
POPL
2011
ACM
14 years 4 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
118
click to vote
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
In the paper we introduce an algorithm for matching partially overlapping image-pairs where the object of interest is in motion, even if the motion is discontinuous and in an unstr...
134
click to vote
VMV
2003
15 years 2 months ago
2003
In this paper, a simple and efficient solution for combining shear-warp volume rendering and the hardware graphics pipeline is presented. The approach applies an inverse warp tra...