1151 search results - page 133 / 231 » Optimization of coded GMSK systems |
122
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
131
Voted
WCNC
2010
IEEE
15 years 7 months ago
2010
IEEE
— In this paper, we consider the transmission of a Gaussian source in a multi-relay cooperative network, where limited channel state feedback is combined with separate source and...
131
Voted
USS
2004
15 years 4 months ago
2004
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
161
Voted
ISMB
1996
15 years 4 months ago
1996
This study demonstratesthe use of decision tree classifiers as the basis for a general gene-finding system. The system uses a dynamic programmingalgorithm that. finds the optimal ...
122
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
A generic and retargetable tool flow is presented that enables the export of timing data from software running on a cycle-accurate Virtual Prototype (VP) to a concurrent function...