Sciweavers

2663 search results - page 398 / 533
» How to Choose a Timing Model
Sort
View
RTSS
2007
IEEE
14 years 4 months ago
Utilization-Bound Based Schedulability Analysis of Weighted Round Robin Schedulers
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...
Jianjia Wu, Jyh-Charn Liu, Wei Zhao
ATAL
2007
Springer
14 years 4 months ago
Market-driven agents with uncertain and dynamic outside options
One of the most crucial criterion in automated negotiation is how to reach a consensus agreement for all negotiators under any negotiation environment. Currently, most negotiation...
Fenghui Ren, Kwang Mong Sim, Minjie Zhang
DATE
2005
IEEE
116views Hardware» more  DATE 2005»
14 years 3 months ago
FORAY-GEN: Automatic Generation of Affine Functions for Memory Optimizations
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
Ilya Issenin, Nikil D. Dutt
ICLP
2005
Springer
14 years 3 months ago
Hybrid Probabilistic Logic Programs with Non-monotonic Negation
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
Emad Saad, Enrico Pontelli
VAST
2004
ACM
14 years 3 months ago
A case study of a virtual audience in a reconstruction of an ancient Roman odeon in Aphrodisias
The benefits of including virtual humans into cultural heritage reconstructions are twofold: the realism of architectural models is increased by populating them; and, as well, it...
Pablo de Heras Ciechomski, Branislav Ulicny, Rache...