3066 search results - page 325 / 614 » On Facilitating Automated Evaluation |
250
click to vote
TACAS
2012
Springer
14 years 3 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
257
click to vote
CL
2012
Springer
13 years 10 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
211
click to vote
ECBS
2008
IEEE
16 years 2 months ago
2008
IEEE
System execution modeling (SEM) tools provide an effective means to evaluate the quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems. SEM tools...
192
click to vote
JNCA
2007
15 years 7 months ago
2007
The fusion of Multimedia and Internet technology has introduced an ever-increasing demand for large-scale reliable media services. This exposes the scalability limitations of curr...
198
click to vote
EUROSYS
2007
ACM
16 years 4 months ago
2007
ACM
In this paper, we present COSMOS, a novel architecture for macroprogramming heterogeneous sensor network systems. Macroprogramming entails aggregate system behavior specification...