1102 search results - page 46 / 221 » Generalizing Updates: From Models to Programs |
109
click to vote
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
POPL
2009
ACM
15 years 7 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
85
Voted
ICFP
2005
ACM
16 years 10 days ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
135
Voted
SIGMETRICS
2009
ACM
15 years 6 months ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...
128
click to vote
TMI
2002
15 years 4 hour ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...