536 search results - page 88 / 108 » A computer verified, monadic, functional implementation of t... |
208
click to vote
IWAN
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
189
click to vote
TOG
2008
15 years 6 months ago
2008
We present a real-time algorithm called compensated ray marching for rendering of smoke under dynamic low-frequency environment lighting. Our approach is based on a decomposition ...
168
click to vote
CASSIS
2005
Springer
15 years 11 months ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...
151
click to vote
DAC
1995
ACM
15 years 9 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
131
click to vote
CONEXT
2010
ACM
15 years 4 months ago
2010
ACM
Channel Bonding (CB) combines two adjacent frequency bands to form a new, wider band to facilitate high data rate transmissions in MIMO-based 802.11n networks. However, the use of...