7124 search results - page 1081 / 1425 » Programming Languages and Operating Systems |
148
click to vote
VEE
2006
ACM
15 years 10 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
237
Voted
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
133
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
140
Voted
IWOMP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. OpenMP has evolved recently towards expressing unstructured parallelism, targeting the parallelization of a broader range of applications in the current multicore era. Ho...
137
click to vote
IWOMP
2009
Springer
15 years 11 months ago
2009
Springer
OpenMP relies heavily on barrier synchronization to coordinate the work of threads that are performing the computations in a parallel region. A good implementation of barriers is ...