4592 search results - page 147 / 919 » Framework for Studying Substitution |
FPGA
2009
ACM
15 years 4 months ago
2009
ACM
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Rapid design space exploration with accurate models is necessary to improve designer productivity at the electronic system level. We describe how to use a new event-based design f...
RTA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
114
click to vote
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Cooperative spectrum sensing has been shown to greatly improve the sensing performance in cognitive radio networks. However, if the cognitive users belong to different service p...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
After more than a decade of e-government research, little work has been done to envision the longer term future of government and society and the unanswered questions associated w...