![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
8. EMSOFT 2008: Atlanta, GA, USA
- Luca de Alfaro, Jens Palsberg:
Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008. ACM 2008, ISBN 978-1-60558-468-3
Abstraction and verification
- Shinya Umeno:
Event order abstraction for parametric real-time system verification. 1-10 - Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Prithviraj Banerjee:
State space abstraction for parameterized self-stabilizing embedded systems. 11-20
Flash memory
- Yong-Goo Lee, Dawoon Jung, Dongwon Kang, Jin-Soo Kim:
µ-FTL: : a memory-efficient flash translation layer supporting multiple mapping granularities. 21-30 - Jin Kyu Kim, Hyung Gyu Lee, Shinho Choi, Kyoung Il Bahng:
A PRAM and NAND flash hybrid architecture for high-performance embedded storage subsystems. 31-40 - Mohammed G. Khatib, Ethan L. Miller, Pieter H. Hartel:
Workload-based configuration of MEMS-based storage devices for mobile systems. 41-50 - Kyoungmoon Sun, Seungjae Baek, Jongmoo Choi, Donghee Lee, Sam H. Noh, Sang Lyul Min:
LTFTL: lightweight time-shift flash translation layer for flash memory based embedded storage. 51-58
Modeling, interfaces, and simulation
- Timothy Bourke, Arcot Sowmya:
Automatically transforming and relating Uppaal models of embedded systems. 59-68 - Simon Tschirner, Liang Xuedong, Wang Yi:
Model-based validation of QoS properties of biomedical sensor networks. 69-78 - Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov:
Interface theories with component reuse. 79-88 - Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar:
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. 89-98
Power
- Vinay Devadas, Hakan Aydin:
On the interplay of dynamic voltage scaling and dynamic power management in real-time embedded applications. 99-108 - Martino Ruggiero, Andrea Bartolini, Luca Benini:
DBS4video: dynamic luminance backlight scaling based on multi-histogram frame characterization for video streaming application. 109-118 - Jun Zhu, Ingo Sander, Axel Jantsch:
Energy efficient streaming applications with guaranteed throughput on MPSoCs. 119-128
Scheduling
- Dinesh Rajan, Christian Poellabauer, Xiaobo Sharon Hu, Liqiang Zhang, Kathleen Otten:
Wireless channel access reservation for embedded real-time systems. 129-138 - Shinpei Kato, Nobuyuki Yamasaki:
Portioned EDF-based scheduling on multiprocessors. 139-148 - Nadathur Satish, Kaushik Ravindran, Kurt Keutzer:
Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors. 149-158 - Rajeev Alur, Gera Weiss
:
RTComposer: a framework for real-time components with scheduling interfaces. 159-168
Static techniques
- Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora:
Disassembling real-time fault-tolerant programs. 169-178 - Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi:
Cyclic dependencies in modular performance analysis. 179-188 - Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya:
A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications. 189-198 - Mila E. Majster-Cederbaum, Moritz Martens:
Compositional analysis of deadlock-freedom for tree-like component architectures. 199-206
Testing
- Patrice Godefroid, Michael Y. Levin, David A. Molnar:
Active property checking. 207-216 - Manoranjan Satpathy, Anand Yeolekar, S. Ramesh:
Randomized directed testing (REDIRECT) for Simulink/Stateflow models. 217-226 - Henrik C. Bohnenkamp, Mariëlle Stoelinga
:
Quantitative testing. 227-236
Virtual machines, compilers, memory management
- Olivier Morandi, Fulvio Risso, Silvio Valenti, Paolo Veglia:
Design and implementation of a framework for creating portable and efficient packet-processing applications. 237-244 - Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove
, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone:
Tax-and-spend: democratic scheduling for real-time garbage collection. 245-254 - Eric Eide, John Regehr:
Volatiles are miscompiled, and what to do about it. 255-264 - Bernhard Egger
, Jaejin Lee, Heonshik Shin:
Scratchpad memory management in a multitasking environment. 265-274
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.