2680 search results - page 398 / 536 » The topology of the independence complex |
187
click to vote
RTSS
2008
IEEE
16 years 25 days 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...
151
click to vote
SCAM
2008
IEEE
16 years 25 days 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...
166
click to vote
SECON
2008
IEEE
16 years 25 days 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...
176
click to vote
TOOLS
2008
IEEE
16 years 25 days 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...
161
click to vote
VTC
2008
IEEE
16 years 25 days 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...