1156 search results - page 62 / 232 » The PENG System: Practice and Experience |
118
click to vote
MEMOCODE
2003
IEEE
15 years 4 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
FPL
2003
Springer
15 years 4 months ago
2003
Springer
This paper describes methods and tools that have been used for teaching disciplines dedicated to the design of reconfigurable digital systems. It demonstrates students' projec...
WOA
2003
15 years 16 days ago
2003
— In the last few years, efforts have been done towards bridging the gap between agent technology and de facto standard technologies, aiming at introducing multi-agent systems in...
105
click to vote
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
The goal of this paper consists in characterizing the capacity region of a broadcast system based on analog antenna combining and orthogonal frequency division multiplexing (OFDM)...
IPM
2006
14 years 11 months ago
2006
Similarity calculations and document ranking form the computationally expensive parts of query processing in ranking-based text retrieval. In this work, for these calculations, 11...