2752 search results - page 146 / 551 » Rounding to an Integral Program |
TACAS
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
EDUTAINMENT
2009
Springer
14 years 4 months ago
2009
Springer
Designing intelligent products, systems and related services require the designers to be able to integrate technology in their designs. Among other skills, programming is the key f...
ICAS
2006
IEEE
14 years 4 months ago
2006
IEEE
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
CSCLP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
PVM
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. With the growing importance of fast system area networks in the parallel community, it is becoming common for message passing programs to run in multi-programming environ...