Abstract is missing.
- Aggressive dynamic voltage scaling for energy-aware video playback based on decoding time estimationAhron Yang, Minseok Song. 1-10 [doi]
- Markov decision process (MDP) framework for optimizing software on mobile phonesTang Lung Cheung, Kari Okamoto, Frank Maker III, Xin Liu, Venkatesh Akella. 11-20 [doi]
- ::::HVS-DBS::::: human visual system-aware dynamic luminance backlight scaling for video streaming applicationsAndrea Bartolini, Martino Ruggiero, Luca Benini. 21-28 [doi]
- Compositional verification of fault-tolerant real-time programsBorzoo Bonakdarpour, Sandeep S. Kulkarni. 29-38 [doi]
- Compositional timing analysisRamzi Ben Salah, Marius Bozga, Oded Maler. 39-48 [doi]
- Refining the control structure of loops using static analysisGogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. 49-58 [doi]
- Compositional deadlock detection for rendezvous communicationBaolin Shao, Nalini Vasudevan, Stephen A. Edwards. 59-66 [doi]
- On relational interfacesStavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee. 67-76 [doi]
- Modeling synchronous systems in BIPMarius Bozga, Vassiliki Sfyrla, Joseph Sifakis. 77-86 [doi]
- Modal interfaces: unifying interface automata and modal specificationsJean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. 87-96 [doi]
- Formal and executable contracts for transaction-level modeling in SystemCTayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal. 97-106 [doi]
- Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systemsKai Lampka, Simon Perathoner, Lothar Thiele. 107-116 [doi]
- Serving embedded content via web applications: model, design and experimentationSimon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. 117-126 [doi]
- Modular performance analysis of cyclic dataflow graphsLothar Thiele, Nikolay Stoimenov. 127-136 [doi]
- Symbolic state traversal for WCET analysisStephan Wilhelm, Björn Wachter. 137-146 [doi]
- Clock-driven distributed real-time implementation of endochronous synchronous programsDumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin. 147-156 [doi]
- Refining SIRAP with a dedicated resource ceiling for self-blockingMoris Behnam, Thomas Nolte, Reinder J. Bril. 157-166 [doi]
- Towards a time-triggered schedule calculation tool to support model-based embedded software designJoseph Porter, Gabor Karsai, Janos Sztipanovits. 167-176 [doi]
- Monotonicity and run-time schedulingMaarten Wiggers, Marco Bekooij, Gerard J. M. Smit. 177-186 [doi]
- Exploring parallelization strategies for NUFFT data translationYuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun. 187-196 [doi]
- An effective synchronization approach for fast and accurate multi-core instruction-set simulationMeng-Huan Wu, Cheng-Yang Fu, Peng-Chih Wang, Ren-Song Tsay. 197-204 [doi]
- Flexible filters: load balancing through backpressure for stream programsRebecca L. Collins, Luca P. Carloni. 205-214 [doi]
- Modular static scheduling of synchronous data-flow networks: an efficient symbolic representationMarc Pouzet, Pascal Raymond. 215-224 [doi]
- SyncCharts in C: a proposal for light-weight, deterministic concurrencyReinhard von Hanxleden. 225-234 [doi]
- Handling mixed-criticality in SoC-based real-time embedded systemsRodolfo Pellizzoni, Patrick O Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha. 235-244 [doi]
- Cache-aware scheduling and analysis for multicoresNan Guan, Martin Stigge, Wang Yi, Ge Yu. 245-254 [doi]
- Probabilistic modeling of data cache behaviorVinayak Puranik, Tulika Mitra, Y. N. Srikant. 255-264 [doi]
- Implementing time-predictable load and store operationsJack Whitham, Neil C. Audsley. 265-274 [doi]
- Dataflow models for shared memory access latency analysisJan Staschulat, Marco Bekooij. 275-284 [doi]
- NANDFS: a flexible flash file system for RAM-constrained systemsAviad Zuck, Ohad Barzilay, Sivan Toledo. 285-294 [doi]
- Disk schedulers for solid state driversJaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh. 295-304 [doi]
- Adding aggressive error correction to a high-performance compressing flash file systemYangwook Kang, Ethan L. Miller. 305-314 [doi]
- A cost-aware page replacement algorithm for NAND flash based mobile embedded systemsJunseok Park, Hyejeong Lee, Seunghwan Hyun, Kern Koh, Hyokyung Bahn. 315-324 [doi]