5056 search results - page 114 / 1012 » Network Coding Theory |
POPL
2009
ACM
14 years 11 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
GLOBECOM
2009
IEEE
14 years 5 months ago
2009
IEEE
— In this paper, an Irregular Distributed Space-Time (Ir-DST) coding scheme is studied in the context of a twin-relay aided network in which the successive relaying protocol is e...
GLOBECOM
2007
IEEE
14 years 5 months ago
2007
IEEE
— In this paper, we consider the design of synchronization-aware distributed space-time codes, which we denote as diagonal distributed space-time codes (DDSTC), for N relay nodes...
EMSOFT
2010
Springer
13 years 8 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
CADE
2007
Springer
14 years 11 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...