646 search results - page 60 / 130 » Generalized efficiency bounds in distributed resource alloca... |
133
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
In SMT processors, the complex interplay between private and shared datapath resources needs to be considered in order to realize the full performance potential. In this paper, we...
125
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
The static asset protection problem (SAP) in a road network is that of allocating resources to protect vertices, given any possible behavior by an adversary determined to attack t...
166
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
209
click to vote
TWC
2010
14 years 11 months ago
2010
Abstract-- Relaying and orthogonal frequency division multiple access (OFDMA) are the accepted technologies for emerging wireless communications standards. The activities in many w...
163
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...