7992 search results - page 1210 / 1599 » Communication Abstractions for Distributed Systems |
167
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. The nano-threads programming model was proposed to effectively integrate multiprogramming on shared-memory multiprocessors, with the exploitation of fine-grain parallelis...
186
click to vote
PPSN
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper we investigate the usefulness of a new operator, inver-over, for an evolutionary algorithm for the TSP. Inver-over is based on simple inversion, however, kn...
220
Voted
PODC
1990
ACM
15 years 10 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
186
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
179
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract This paper examines the behavior of current and next generation microprocessors' fetch engines while running Decision Support Systems (DSS) workloads. We analyze the ...