Sciweavers

1433 search results - page 19 / 287
» The Design of Large Real-Time Systems: The Time-Triggered Ap...
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 2 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
RTAS
2009
IEEE
14 years 2 months ago
Proactive Speed Scheduling for Real-Time Tasks under Thermal Constraints
Thermal management becomes a prominent issue in system design for both server systems and embedded systems. A system could fail if the peak temperature exceeds its thermal constra...
Jian-Jia Chen, Shengquan Wang, Lothar Thiele
ICANN
2005
Springer
14 years 1 months ago
A Hardware/Software Framework for Real-Time Spiking Systems
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
Matthias Oster, Adrian M. Whatley, Shih-Chii Liu, ...
IPPS
2007
IEEE
14 years 2 months ago
Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems
This paper proposes a dynamic scheduler that supports the coexistence of guaranteed and non-guaranteed bandwidth servers to efficiently handle soft-tasks’ overloads by making a...
Luís Nogueira, Luís Miguel Pinho
FBT
1998
119views Formal Methods» more  FBT 1998»
13 years 9 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust