2643 search results - page 397 / 529 » Higher order messaging |
102
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
Higher transistor transition frequencies, lower supply voltages and smaller physical dimensions are, nowadays, general trends in the semiconductor industry. Operating at lower sup...
167
click to vote
RSP
2003
IEEE
15 years 10 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
127
click to vote
SAC
2003
ACM
15 years 10 months ago
2003
ACM
We study in this paper the problem of broadcasting dependent data for unordered queries. However, most prior studies on dependent data broadcasting are limited to the premise of n...
142
click to vote
SC
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a novel, parallel algorithm for generating top alignments. Top alignments are used for finding internal repeats in biological sequences like proteins and gene...
110
click to vote
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....