15840 search results - page 2787 / 3168 » The Control of Synchronous Systems |
225
click to vote
RTSS
2006
IEEE
16 years 27 days ago
2006
IEEE
With the emergence of large wired and wireless sensor networks, many real-time applications need to operate on continuous unbounded data streams. At the same time, many of these s...
186
click to vote
APLAS
2006
ACM
16 years 26 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
196
click to vote
CASES
2006
ACM
16 years 26 days ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...
166
click to vote
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
193
click to vote
SIGCOMM
2006
ACM
16 years 25 days ago
2006
ACM
Peer-to-peer and other decentralized, distributed systems are known to be particularly vulnerable to sybil attacks. In a sybil attack, a malicious user obtains multiple fake ident...