Sciweavers

614 search results - page 39 / 123
» Scheduling under resource constraints using dis-equations
Sort
View
ATAL
2003
Springer
14 years 27 days ago
Cooperative negotiation for soft real-time distributed resource allocation
In this paper we present a cooperative negotiation protocol that solves a distributed resource allocation problem while conforming to soft real-time constraints in a dynamic envir...
Roger Mailler, Victor R. Lesser, Bryan Horling
ISCAS
2005
IEEE
144views Hardware» more  ISCAS 2005»
14 years 1 months ago
Impact of multicycled scheduling on power-area tradeoffs in behavioural synthesis
— Multicycling is a widely investigated technique for performance optimisation in behavioural synthesis. It allows an operation to execute over two or more control steps with the...
M. A. Ochoa-Montiel, Bashir M. Al-Hashimi, Peter K...
PIMRC
2008
IEEE
14 years 2 months ago
Resource allocation in OFDMA downlink with reduced feedback overhead
— Consider the problem of resource allocation on the downlink of a cellular OFDMA system. A fairness constraint is defined by a minimum data rate, a maximum bit-error rate and a...
Ayman Alsawah, Inbar Fijalkow
KBSE
2000
IEEE
14 years 1 days ago
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
Sarfraz Khurshid, Daniel Jackson
CAV
2009
Springer
116views Hardware» more  CAV 2009»
14 years 9 days ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...