1226 search results - page 218 / 246 » Proofs, Programs and Abstract Complexity |
ICCD
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Recent research has shown that forwarding speculative data to other processors before it is requested can improve the performance of multiprocessor systems. The most re...
SAC
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
The wide diffusion of reliable Internet is pushing two key novelties in the conception of modern software applications: the Software as a Service paradigm and the idea of the Inte...
109
click to vote
ALDT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. An optimal probabilistic-planning algorithm solves a problem, usually modeled by a Markov decision process, by finding its optimal policy. In this paper, we study the k ...
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Over the past decades, the fundamental principles of the Internet architecture have not significantly changed. However, Internet evolution and its effects on participants...