3607 search results - page 539 / 722 » Distributed Parallel Computing Using Windows Desktop Systems |
123
click to vote
CONCUR
2006
Springer
15 years 7 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...
149
click to vote
CONCUR
2012
Springer
13 years 5 months ago
2012
Springer
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...
120
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
We present an auto-tuning approach to optimize application performance on emerging multicore architectures. The methodology extends the idea of searchbased performance optimizatio...
120
Voted
ICNP
2003
IEEE
15 years 8 months ago
2003
IEEE
TCP performs poorly on paths that reorder packets significantly, where it misinterprets out-of-order delivery as packet loss. The sender responds with a fast retransmit though no...
127
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...