612 search results - page 90 / 123 » Utilitarian resource assignment |
CCECE
2006
IEEE
14 years 3 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,...
EUROMICRO
2006
IEEE
14 years 3 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...
IAT
2006
IEEE
14 years 3 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...
QEST
2006
IEEE
14 years 3 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...
MOBICOM
2006
ACM
14 years 3 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...