211 search results - page 21 / 43 » 04491 Abstracts Collection - Synchronous Programming - SYNCH... |
SFP
2004
15 years 1 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
103
click to vote
APSCC
2006
IEEE
15 years 3 months ago
2006
IEEE
Parallel application development for Grids can from tools that abstract the underlying Grid middleware, hide the critical aspects of heterogeneous resources and provide utilities ...
CINQ
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...
JOT
2007
14 years 11 months ago
2007
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
185
click to vote
POPL
2009
ACM
16 years 8 days ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...