Sciweavers

1294 search results - page 119 / 259
» A Conditional Scheduling Approach to Designing Real-Time Sys...
Sort
View
153
Voted
CASE
2011
102views more  CASE 2011»
14 years 4 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
115
Voted
APIN
2004
127views more  APIN 2004»
15 years 4 months ago
CLSS: An Intelligent Crane Lorry Scheduling System
Companies that provide crane-lorry services are faced with the daily need to perform vehicle and driver allocation and scheduling. Many companies still do this manually due to the ...
Hon Wai Chun, Rebecca Y. M. Wong
RSP
2003
IEEE
15 years 9 months ago
Verification of Timing Properties in Rapid System Prototyping
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
Doron Drusinsky, Man-tak Shing
DATE
2003
IEEE
102views Hardware» more  DATE 2003»
15 years 10 months ago
Power Constrained High-Level Synthesis of Battery Powered Digital Systems
We present a high-level synthesis algorithm solving the combined scheduling, allocation and binding problem minimizing area under both latency and maximum power per clock-cycle co...
S. F. Nielsen, Jan Madsen
EJWCN
2010
141views more  EJWCN 2010»
14 years 11 months ago
Scheduling Heterogeneous Wireless Systems for Efficient Spectrum Access
The spectrum scarcity problem emerged in recent years, due to unbalanced utilization of RF (radio frequency) bands in the current state of wireless spectrum allocations. Spectrum a...
Lichun Bao, Shenghui Liao