1559 search results - page 74 / 312 » The Semantics of Future and Its Use in Program Optimizations |
101
click to vote
IEEEPACT
2007
IEEE
15 years 4 months ago
2007
IEEE
The use of multi-core, multi-processor machines is opening new opportunities for software speculation, where program code is speculatively executed to improve performance at the a...
SAB
2004
Springer
15 years 3 months ago
2004
Springer
This paper provides an overview of the SWARM-BOTS project, a robotic project sponsored by the Future and Emerging Technologies program of the European Commission. The paper illustr...
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
WECWIS
2009
IEEE
15 years 4 months ago
2009
IEEE
—The goal of the Web Service Composition (WSC) problem is to find an optimal composition of web services to satisfy a given request using their syntactic and/or semantic feature...
ANOR
2005
14 years 9 months ago
2005
Abstract. This is an overview of the significance and main uses of projection, lifting and extended formulation in integer and combinatorial optimization. Its first two sections de...