2680 search results - page 398 / 536 » The topology of the independence complex |
203
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents algorithms that (1) facilitate systemindependent synthesis of timing-interfaces for subsystems and (2) system-level selection of interfaces to minimize CPU loa...
176
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
In a previous study, we showed that indentation was regular across multiple languages and the variance in the level of indentation of a block of revised code is correlated with me...
182
click to vote
SECON
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we present Black Burst Synchronization (BBS)1 , a novel protocol for decentralized network-wide tick synchronization in wireless ad hoc networks, located at MAC l...
199
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
178
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we introduce and outline the concept of Channel Code Division Multiple Access (CCDMA) using a design example based on the recently proposed Multilevel Structured...