535 search results - page 45 / 107 » Checking Computations in Polylogarithmic Time |
146
click to vote
DCOSS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We propose FIT, a flexible, light-weight and real-time scheduling system for wireless sensor platforms. There are three salient features of FIT. First, its two-tier hiera...
143
click to vote
JSSPP
2005
Springer
15 years 8 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
150
click to vote
TDSC
2011
14 years 10 months ago
2011
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...
131
click to vote
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
110
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
DMTCP (Distributed MultiThreaded CheckPointing) is a transparent user-level checkpointing package for distributed applications. Checkpointing and restart is demonstrated for a wid...