126 search results - page 19 / 26 » Soft Typing |
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper an analysis of a dynamically reconfigurable processor is presented. The network processor incorporates a processor and a number of coprocessors that can be connected...
CLEANDB
2006
ACM
15 years 3 months ago
2006
ACM
Data quality is a serious concern in every data management application, and a variety of quality measures have been proposed, including accuracy, freshness and completeness, to ca...
HAPTICS
2005
IEEE
15 years 3 months ago
2005
IEEE
We performed experiments to investigate how humans acquire an internal representation of virtual objects through the execution of reaching movements across the object surface. Sub...
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract — FPGAs offer excellent platform for System-onChips consisting of Intellectual Property (IP) blocks. The problem is that IP blocks and their interconnections are often F...
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...