Sciweavers

5180 search results - page 194 / 1036
» Concurrency, Time, and Constraints
Sort
View
HYBRID
2004
Springer
15 years 12 months ago
Event-Driven Programming with Logical Execution Times
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. ...
FORMATS
2008
Springer
15 years 8 months ago
A Framework for Distributing Real-Time Functions
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
Frédéric Boniol, Pierre-Emmanuel Hla...
HICSS
2009
IEEE
118views Biometrics» more  HICSS 2009»
16 years 1 months ago
Decentralized Reactive Power Dispatch for a Time-Varying Multi-TSO System
This paper addresses the problem of reactive power dispatch in a power system partitioned into several areas controlled by different transmission system operators. Previous resear...
Yannick Phulpin, Miroslav Begovic, Marc Petit, Dam...
ICC
2007
IEEE
16 years 28 days ago
Just-in-Time Online Scheduling for WDM EPONs
Abstract— We propose an improved online scheduler for multichannel or Wavelength Division Multiplexed (WDM) Ethernet Passive Optical Network (EPON) upstream transmission. This sc...
Michael P. McGarry, Martin Reisslein, Charles J. C...
ICSE
1997
IEEE-ACM
15 years 10 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...