Abstract is missing.
- Great works for the 21st century: a critical role for the modern research universityA. Richard Newton. 1 [doi]
- Smart furniture: a platform for context-aware embedded ubiquitous applicationsHideyuki Tokuda. 2 [doi]
- DELite: database support for embedded lightweight devicesKrithi Ramamritham, Rajkumar Sen. 3-4 [doi]
- Network processors: a progress reportNevin Heintze. 5 [doi]
- The computer revolution , computer science , and software engineering haven t happened yetAlan C. Kay. 6 [doi]
- Remote customization of systems code for embedded devicesSapan Bhatia, Charles Consel, Calton Pu. 7-15 [doi]
- Using resource reservation techniques for power-aware schedulingClaudio Scordino, Giuseppe Lipari. 16-25 [doi]
- An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computingSangsoo Park, Yonghee Lee, Heonshik Shin. 26-33 [doi]
- Model based estimation and verification of mobile device performanceGopalakrishna Raghavan, Ari Salomaki, Raimondas Lencevicius. 34-43 [doi]
- Separation of concerns: overhead in modeling and efficient simulation techniquesGuang Yang, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin. 44-53 [doi]
- Practical PACE for embedded systemsRuibin Xu, Chenhai Xi, Rami G. Melhem, Daniel Mossé. 54-63 [doi]
- Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systemsHaisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li. 64-73 [doi]
- Binary translation to improve energy efficiency through post-pass register re-allocationKun Zhang, Tao Zhang, Santosh Pande. 74-85 [doi]
- WRR-SCAN: a rate-based real-time disk-scheduling algorithmCheng-Han Tsai, Edward T.-H. Chu, Tai-Yi Huang. 86-94 [doi]
- Scheduling within temporal partitions: response-time analysis and server designLuís Almeida, Paulo Pedreiras. 95-103 [doi]
- A typed assembly language for real-time programsThomas A. Henzinger, Christoph M. Kirsch. 104-113 [doi]
- Compiler-assisted demand paging for embedded systems with flash memoryChanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min. 114-124 [doi]
- Garbage collection for embedded systemsDavid F. Bacon, Perry Cheng, David Grove. 125-136 [doi]
- Reactive process networksMarc Geilen, Twan Basten. 137-146 [doi]
- An event detection algebra for reactive systemsJan Carlson, Björn Lisper. 147-154 [doi]
- Conservative approximations for heterogeneous designRoberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli. 155-164 [doi]
- Exploiting prescriptive aspects: a design time capabilityJohn A. Stankovic, Prashant Nagaraddi, Zhendong Yu, Zhimin He, Brian Ellis. 165-174 [doi]
- Making mechatronic agents resource-aware in order to enable safe dynamic resource allocationSven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür. 175-183 [doi]
- A metrics system for quantifying operational coupling in embedded computer control systemsDe-Jiu Chen, Martin Törngren. 184-192 [doi]
- Loose synchronization of event-triggered networks for distribution of synchronous programsJan Romberg, Andreas Bauer 0002. 193-202 [doi]
- Reuse of software in distributed embedded automotive systemsBernd Hardung, Thorsten Kölzow, Andreas Krüger. 203-210 [doi]
- A model-based approach to integrating security policies for embedded devicesMichael McDougall, Rajeev Alur, Carl A. Gunter. 211-219 [doi]
- Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli. 220-229 [doi]
- Towards a higher-order synchronous data-flow languageJean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet. 230-239 [doi]
- Towards direct execution of esterel programs on reactive processorsPartha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne. 240-248 [doi]
- A methodology for generating verified combinatorial circuitsOleg Kiselyov, Kedar N. Swadi, Walid Taha. 249-258 [doi]
- Defining and translating a safe subset of simulink/stateflow into lustreNorman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi. 259-268 [doi]
- Approximation of the worst-case execution time using structural analysisMatteo Corti, Thomas R. Gross. 269-277 [doi]
- Multiple process execution in cache related preemption delay analysisJan Staschulat, Rolf Ernst. 278-286 [doi]
- An approach for integrating basic retiming and software pipeliningNoureddine Chabini, Wayne Wolf. 287-296 [doi]
- Reducing program image size by extracting frozen code and dataDaniel Citron, Gadi Haber, Roy Levin. 297-305 [doi]