7430 search results - page 211 / 1486 » Programming Applications in CIFF |
136
Voted
SCP
1998
15 years 3 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
175
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
135
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
111
Voted
PROCEDIA
2010
15 years 1 months ago
2010
We argue that programming high-end stream-processing applications requires a form of coordination language that enables the designer to represent interactions between stream-proce...
117
click to vote
UM
2010
Springer
15 years 1 months ago
2010
Springer
Semantically-enhanced Ubiquitous User Modeling aims at the management of distributed user models and the integration into ontologies to share user information amongst adaptive appl...