2830 search results - page 175 / 566 » No Science without Semantics |
87
Voted
GI
2009
Springer
15 years 7 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
105
click to vote
STACS
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...
120
click to vote
SCCC
1998
IEEE
15 years 6 months ago
1998
IEEE
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
127
click to vote
SCCC
1998
IEEE
15 years 6 months ago
1998
IEEE
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
119
click to vote
SCCC
1997
IEEE
15 years 6 months ago
1997
IEEE
Processing on the Amoeba distributed operating system is not fault-tolerant. The only concern of its processing service is to perform load balancing on the existing processors, tr...