default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGBED Review, Volume 8, 2011
Volume 8, Number 1, March 2011
- Marco Panunzio, Tullio Vardanega
:
Pitfalls and misconceptions in component-oriented approaches for real-time embedded systems: lessons learned and solutions. 6-13 - Miao Song, Shangping Ren:
Coordination operators and their composition under the actor-role-coordinator (ARC) model. 14-21 - Björn Andersson:
A preliminary idea for an 8-competitive, log2 DMAX + log2 log2 1/U asymptotic-space, interface generation algorithm for two-level hierarchical scheduling of constrained-deadline sporadic tasks on a uniprocessor. 22-29 - Jungwoo Yang, Hyungseok Kim, Sangwon Park, Changki Hong, Insik Shin:
Implementation of compositional scheduling framework on virtualization. 30-37 - Jaewoo Lee, Linh T. X. Phan, Sanjian Chen, Oleg Sokolsky, Insup Lee:
Improving resource utilization for compositional scheduling using DPRM interfaces. 38-45 - Farhang Nemati, Moris Behnam, Thomas Nolte:
Sharing resources among independently-developed systems on multi-cores. 46-53 - Luca Santinelli, Liliana Cucu-Grosjean:
Toward probabilistic real-time calculus. 54-61 - Linh T. X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, Oleg Sokolsky:
CARTS: a tool for compositional analysis of real-time systems. 62-63 - Julio L. Medina, Álvaro Garcia Cuesta:
From composable design models to schedulability analysis with UML and the UML profile for MARTE. 64-68 - Rui Santos, Paulo Pedreiras, Moris Behnam, Thomas Nolte, Luís Almeida:
Hierarchical server-based traffic scheduling in ethernet switches. 68-69 - Nicola Serreli, Giuseppe Lipari, Enrico Bini:
A tool for component-based schedulability analysis of distributed real-time pipelines. 70-72
Volume 8, Number 2, June 2011
- Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li:
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. 7-10 - Alessandro Colombo, Domitilla Del Vecchio:
Enforcing safety of cyberphysical systems using flatness and abstraction. 11-14 - Emeka Eyisi, Xenofon D. Koutsoukos:
Passivity-based self-triggered control: a case study on the trajectory tracking control of a robotic manipulator over wireless network. 15-18 - Sailesh Kandula, Tridib Mukherjee, Sandeep K. S. Gupta:
Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective. 19-22 - Nina Mühleis, Michael Glaß, Liyuan Zhang, Jürgen Teich:
A co-simulation approach for control performance analysis during design space exploration of cyber-physical systems. 23-26 - Kenneth C. Rovers, Jan Kuper, Gerard J. M. Smit:
The problem with time in mixed continuous/discrete time modelling. 27-30 - Neda Saeedloei, Gopal Gupta:
A logic-based modeling and verification of CPS. 31-34 - Andreas Savvides, Ioannis Ch. Paschalidis, Michael C. Caramanis:
Cyber-physical systems for next generation intelligent buildings. 35-38 - Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot:
A core language for executable models of cyber physical systems: work in progress report. 39-43 - Zhenkai Zhang, Joseph Porter, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits:
High confidence embedded software design: a quadrotor helicopter case study. 44-47
Volume 8, Number 3, September 2011
- Tomasz Dudziak, Jörg Herter:
Cache analysis in presence of pointer-based data structures. 7-10 - Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean:
A new way about using statistical analysis of worst-case execution times. 11-14 - Yin Hang, Hans Hansson:
Timing analysis for a composable mode switch. 15-18 - Gurulingesh Raravi, Björn Andersson, Konstantinos Bletsas:
Provably good task assignment on heterogeneous multiprocessor platforms for a restricted case but with a stronger adversary. 19-22 - João Craveiro, José Rufino, Frank Singhoff:
Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems. 23-27 - Frédéric Fauberteau, Serge Midonnet, Manar Qamhieh:
Partitioned scheduling of parallel real-time tasks on multiprocessor systems. 28-31 - Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla, Mateo Valero:
Exploiting intra-task slack time of load operations for DVFS in hard real-time multi-core systems. 32-35 - Geoffrey Nelissen, Shelby H. Funk, Joël Goossens, Dragomir Milojevic:
Swapping to reduce preemptions and migrations in EKG. 36-39 - Rodrigo M. Santos, Javier Orozco, Sergio F. Ochoa:
A real-time analysis approach in opportunistic networks. 40-43 - Thomas Ferrandiz, Fabrice Frances, Christian Fraboul:
Using Network Calculus to compute end-to-end delays in SpaceWire networks. 44-47 - Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin:
Tracing event chains for holistic response-time analysis of component-based distributed real-time systems. 48-51
Volume 8, Number 4, December 2011
- Lucia Lo Bello:
The case for ethernet in automotive communications. 7-15 - Luis Lino Ferreira, Luís Nogueira:
On the use of code mobility mechanisms in real-time systems. 16-21 - Marcelo Maia Sobral, Leandro Buss Becker:
Evaluating the benefits and feasibility of coordinated medium access in MANETS. 22-29 - Jieun Jung, Byunghun Song, Sooyeol Park:
The possibility of wireless sensor networks for commercial vehicle load monitoring. 30-34 - Koen Holtman, Peter van der Stok:
Real-time routing and retry strategies for low-latency 802.15.4 control networks. 35-42 - Claro Noda, Shashi Prabh, Mário Alves, Carlo Alberto Boano, Thiemo Voigt:
Quantifying the channel quality for interference-aware wireless sensor networks. 43-48 - Xiaoting Li, Jean-Luc Scharbarg, Frédéric Ridouard, Christian Fraboul:
Existing offset assignments are near optimal for an industrial AFDX network. 49-54
- Sérgio D. Penna:
Networking in modern avionics: challenges and opportunities. 55-58
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-09 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
