2116 search results - page 19 / 424 » Resource Analysis by Sup-interpretation |
CLEF
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes the Bulgarian part of a Bulgarian–English question answering system. The Bulgarian modules are implemented as a question analysis procedure within a Bulgari...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper, we study the joint design of uplink and downlink resources in OFDMA-based systems. We first analyze the interactions between uplink and downlink, due essentiall...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Resource management for dynamic, distributed real-time systems requires handling of unknown arrival rates for data and events; additional desiderata include: accommodation of heter...
JSSPP
2005
Springer
14 years 2 months ago
2005
Springer
With Grids, we are able to share computing resources and to provide for scientific communities a global transparent access to local facilities. In such an environment the problems...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...