Sciweavers

7557 search results - page 536 / 1512
» Modeling Timed Concurrent Systems
Sort
View
SCHEDULING
2008
89views more  SCHEDULING 2008»
15 years 6 months ago
On-line decision support for take-off runway scheduling with uncertain taxi times at London Heathrow airport
: This paper addresses the challenge of building an automated decision support methodology to tackle the complex problem faced every day by runway controllers at London Heathrow Ai...
Jason A. D. Atkin, Edmund K. Burke, John S. Greenw...
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
16 years 1 months ago
Dynamic Traveling Repairperson Problem for dynamic systems
— In this paper, we study the Dynamic Traveling Repairman Problem (DTRP) for dynamic systems. In the DTRP, customers are arising dynamically and randomly in a bounded region R, a...
Sleiman Itani, Emilio Frazzoli, Munther A. Dahleh
DSD
2005
IEEE
106views Hardware» more  DSD 2005»
16 years 18 days ago
SystemC-based Design Methodology for Reconfigurable System-on-Chip
Reconfigurable system is a promising alternative to deliver both flexibility and performance at the same time. New reconfigurable technologies and technologydependent tools have b...
Yang Qu, Kari Tiensyrjä, Juha-Pekka Soininen
RTSS
2006
IEEE
16 years 1 months ago
Mutual Consistency in Real-Time Databases
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
Abhay Kumar Jha, Ming Xiong, Krithi Ramamritham
TCOM
2010
195views more  TCOM 2010»
15 years 1 months ago
Coherent and Differential Space-Time Shift Keying: A Dispersion Matrix Approach
Abstract--Motivated by the recent concept of Spatial Modulation (SM), we propose a novel Space-Time Shift Keying (STSK) modulation scheme for Multiple-Input Multiple-Output (MIMO) ...
Shinya Sugiura, Sheng Chen, Lajos Hanzo