7195 search results - page 631 / 1439 » On Computing Power |
182
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
155
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a new basis for the implementation of a shifter functional unit. We present a design based on the inverse butterfly and butterfly datapath circuits that perfo...
184
click to vote
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a meta-model based approach to services applications deployment on constrained Execution Environments (EEs) which contain heterogeneous services implementation...
197
click to vote
ICWN
2007
15 years 8 months ago
2007
Wireless networks are poised to enable a variety of existing and emerging video streaming applications. However, video streaming over wireless suffers from piracy and malicious at...
198
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Crossbar arbitration—which determines the allocation of output ports to packets in the input queues—is a performance-critical stage in the overall performance of routers for i...