1054 search results - page 149 / 211 » From a Verified Kernel towards Verified Systems |
168
click to vote
ICIP
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents an efficient multiplexing and error control system to improve streaming video performance over path aggregates. While providing the application with increased ...
191
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
In this paper, we describe NoCGEN, a Network On Chip (NoC) generator, which is used to create a simulatable and synthesizable NoC description. NoCGEN uses a set of modularised rou...
148
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
197
click to vote
GLOBECOM
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— We propose an intercell downlink orthogonal frequency division multiple access (OFDMA) scheduling technique in a sectorized cellular network. Adjacent sectors from neig...
166
click to vote
KBSE
2009
IEEE
16 years 27 days ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...