1541 search results - page 267 / 309 » Tools and Techniques for Model Checking Networked Programs |
115
click to vote
AVI
2008
15 years 2 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
114
Voted
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
120
click to vote
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Metacomputing infrastructures couple multiple clusters (or MPPs) via wide-area networks. A major problem in programming parallel applications for such platforms is their hierarchi...
124
Voted
EWSN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In their EWSN'07 paper [1], Giusti et al. proposed a decentralized wake-up scattering algorithm for temporally spreading the intervals in which the nodes of a wirele...
109
click to vote
ISSA
2004
15 years 1 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...