203 search results - page 14 / 41 » Efficient Type Inclusion Tests |
FPGA
2006
ACM
15 years 3 months ago
2006
ACM
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run-time reconfigurabil...
PVLDB
2008
14 years 11 months ago
2008
The Deep Web, i.e., content hidden behind HTML forms, has long been acknowledged as a significant gap in search engine coverage. Since it represents a large portion of the structu...
113
click to vote
AOR
2010
14 years 9 months ago
2010
We study the problem of computing general static-arbitrage bounds for European basket options; that is, computing bounds on the price of a basket option, given the only assumption...
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
Problems such as price volatility have been observed in electric power markets. Demand-side participation is often offered as a potential solution by promising to increase market ...
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...