2257 search results - page 238 / 452 » Secure program partitioning |
117
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
117
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
A well studied special case of bin packing is the 3-partition problem, where n items of size > 1 4 have to be packed in a minimum number of bins of capacity one. The famous Kar...
104
click to vote
KI
2006
Springer
15 years 22 days ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
105
click to vote
IJHPCA
2007
15 years 21 days ago
2007
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
134
click to vote
HPDC
2011
IEEE
14 years 4 months ago
2011
IEEE
In today’s high performance computing practice, fail-stop failures are often tolerated by checkpointing. While checkpointing is a very general technique and can often be applied...