4722 search results - page 740 / 945 » Encoding Program Executions |
126
click to vote
ASE
2010
15 years 3 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
103
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
124
click to vote
CPHYSICS
2010
15 years 3 months ago
2010
In this paper, a programming model is presented which enables scalable parallel performance on multi-core shared memory architectures. The model has been developed for application...
107
click to vote
FGCS
2008
15 years 3 months ago
2008
A long-term trend in high-performance computing is the increasing number of nodes in parallel computing platforms, which entails a higher failure probability. Fault tolerant progr...
125
click to vote
ESWA
2006
15 years 2 months ago
2006
In the past, the selection of resources to execute various warehouse operation services was done solely by experts. In this paper, a RFIDbased Resource Management System (RFID-RMS...