Sciweavers

3689 search results - page 426 / 738
» A Language with Distributed Scope
Sort
View
148
Voted
HPCN
1995
Springer
15 years 8 months ago
Using optimistic execution techniques as a parallelisation tool for general purpose computing
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
Adam Back, Stephen Turner
ICPP
1991
IEEE
15 years 8 months ago
Automatic Parallel Program Generation and Optimization from Data Decompositions
Data decomposition is probably the most successful method for generating parallel programs. In this paper a general framework is described for the automatic generation of parallel...
Edwin M. R. M. Paalvast, Henk J. Sips, Arjan J. C....
REX
1991
15 years 8 months ago
Logics and Models of Real Time: A Survey
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
Rajeev Alur, Thomas A. Henzinger
COORDINATION
2008
Springer
15 years 6 months ago
An Event-Based Coordination Model for Context-Aware Applications
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
Angel Núñez, Jacques Noyé
ACL
2007
15 years 6 months ago
Instance Weighting for Domain Adaptation in NLP
Domain adaptation is an important problem in natural language processing (NLP) due to the lack of labeled data in novel domains. In this paper, we study the domain adaptation prob...
Jing Jiang, ChengXiang Zhai