1206 search results - page 193 / 242 » Concurrent Abstract Predicates |
103
Voted
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
149
Voted
LPAR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
107
click to vote
LCR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. As an alternative to message passing, Rochester's InterWeave system allows the programmer to map shared segments into programs spread across heterogeneous, distribut...
110
Voted
ASM
2008
ASM
15 years 2 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
112
click to vote
DC
2008
15 years 18 days ago
2008
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...