612 search results - page 90 / 123 » Utilitarian resource assignment |
169
Voted
CCECE
2006
IEEE
15 years 12 months ago
2006
IEEE
Several approaches have been proposed to accelerate the NP-complete Boolean Satisfiability problem (SAT) using reconfigurable computing. We present an FPGA based clause evaluator,...
154
click to vote
EUROMICRO
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
157
Voted
IAT
2006
IEEE
15 years 12 months ago
2006
IEEE
The Web consists of a large amount of unstructured information that hardly can be elaborated by automatic agents. In recent years, a considerable number of techniques for informat...
163
Voted
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
154
click to vote
MOBICOM
2006
ACM
15 years 11 months ago
2006
ACM
— Motivated by the ‘beyond 3G’ vision of radio access network integration and coordinated radio resource management, a purely analytical performance assessment is presented f...