3926 search results - page 564 / 786 » A Logic of Object-Oriented Programs |
170
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
157
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
168
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...
144
click to vote
WSC
2008
15 years 8 months ago
2008
In this paper, an automation concept is proposed to facilitate the simulation model building for port design problem. Currently, this process, which includes drawing the terminal ...
161
click to vote
AAAI
2004
15 years 7 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...