47 search results - page 5 / 10 » Specification Structures and Propositions-as-Types for Concu... |
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
Abstract. We propose a method for automatically correcting the spherical topology of any segmentation under any digital connectivity. A multiple region growing process, concurrentl...
GROUP
2009
ACM
14 years 2 months ago
2009
ACM
This paper describes research focused on understanding the role of incomplete structural information about online collective action systems in participation decisions. Specificall...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
Counting networks were introduced as a new class of concurrent, distributed, low contention data structures suitable for implementing shared counters. Their structure is similar t...
UML
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
Purely functional programs should run well on parallel hardware because of the absence of side effects, but it has proved hard to realise this potential in practice. Plenty of pap...