3575 search results - page 129 / 715 » Modeling Concurrency with Geometry |
FOSSACS
2005
Springer
15 years 7 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...
197
click to vote
GIS
2008
ACM
16 years 2 months ago
2008
ACM
We introduce a parallel approximation of an Over-determined Laplacian Partial Differential Equation solver (ODETLAP) applied to the compression and restoration of terrain data use...
111
click to vote
IWPC
2007
IEEE
15 years 7 months ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
122
click to vote
PPDP
1999
Springer
15 years 5 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
140
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...