Sciweavers

10092 search results - page 2009 / 2019
» Active conditional models
Sort
View
CORR
2008
Springer
142views Education» more  CORR 2008»
15 years 1 months ago
The Impact of QoS Constraints on the Energy Efficiency of Fixed-Rate Wireless Transmissions
Transmission over wireless fading channels under quality of service (QoS) constraints is studied when only the receiver has channel side information. Being unaware of the channel c...
Deli Qiao, Mustafa Cenk Gursoy, Senem Velipasalar
119
Voted
TASE
2008
IEEE
15 years 1 months ago
Steady-State Throughput and Scheduling Analysis of Multicluster Tools: A Decomposition Approach
Abstract--Cluster tools are widely used as semiconductor manufacturing equipment. While throughput analysis and scheduling of single-cluster tools have been well-studied, research ...
Jingang Yi, Shengwei Ding, Dezhen Song, Mike Tao Z...
CORR
2010
Springer
162views Education» more  CORR 2010»
15 years 12 days ago
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
Silvio Ghilardi, Silvio Ranise
125
Voted
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 12 days ago
Spectrum Sharing as Spatial Congestion Games
—In this paper, we present and analyze the properties of a new class of games - the spatial congestion game (SCG), which is a generalization of the classical congestion game (CG)...
Sahand Haji Ali Ahmad, Cem Tekin, Mingyan Liu, Ric...
CP
2010
Springer
15 years 12 days ago
An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management
A recurring problem in data centres is that the constantly changing workload is not proportionally distributed over the available servers. Some resources may lay idle while others ...
Roman van der Krogt, Jacob Feldman, James Little, ...
« Prev « First page 2009 / 2019 Last » Next »