Proceedings of the IEEE, Volume 91

Volume 91, Number 1, January 2003

• Shankar Sastry, Janos Sztipanovits, Ruzena Bajcsy, H. Gill: Scanning the issue - special issue on modeling and design of embedded software. 3-10 BibTeX
• Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky: Hierarchical modeling and analysis of embedded systems. 11-28 BibTeX
• Ashish Tiwari, Natarajan Shankar, John M. Rushby: Invisible formal methods for embedded control systems. 29-39 BibTeX
• Feng Zhao, Christopher Bailey-Kellogg, Markus P. J. Fromherz: Physics-based encapsulation in embedded software for distributed sensing and control applications. 40-63 BibTeX
• Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone: The synchronous languages 12 years later. 64-83 BibTeX
• Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch: Giotto: a time-triggered language for embedded programming. 84-99 BibTeX
• Joseph Sifakis, Stavros Tripakis, Sergio Yovine: Building models of real-time systems from application software. 100-111 BibTeX
• Hermann Kopetz, Günther Bauer: The time-triggered architecture. 112-126 BibTeX
• Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, J. Ludvig, Stephen Neuendorffer, S. Sachs, Yuhong Xiong: Taming heterogeneity - the Ptolemy approach. 127-144 BibTeX
• Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty: Model-integrated development of embedded software. 145-164 BibTeX
• Wayne Wolf, Mahmut T. Kandemir: Memory system optimization of embedded software. 165-182 BibTeX
• Christopher D. Gill, Ron Cytron, Douglas C. Schmidt: Multiparadigm scheduling for distributed real-time embedded computing. 183-197 BibTeX
• Benjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry: Platform-based embedded software design and system integration for autonomous vehicles. 198-211 BibTeX
• Brian C. Williams, Michel D. Ingham, S. H. Chung, P. H. Elliott: Model-based programming of intelligent embedded systems and robotic space explorers. 212-237 BibTeX
• I. J. Blanken: Scanning our past from the Netherlands: Bernard Tellegen and the pentode valve. 238-239 BibTeX

Volume 91, Number 2, February 2003

Volume 91, Number 3, March 2003

Volume 91, Number 4, April 2003

Volume 91, Number 5, May 2003

Volume 91, Number 6, June 2003

Volume 91, Number 7, July 2003

• C. Mani Krishna, Yann-Hang Lee: Scanning the issue - special issue on real-time systems. 983-985 BibTeX
• Claire Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi: Computational techniques for the verification of hybrid systems. 986-1001 BibTeX
• John A. Stankovic, Tarek F. Abdelzaher, Chenyang Lu, Lui Sha, Jennifer C. Hou: Real-time communication and coordination in embedded sensor networks. 1002-1022 BibTeX
• Kishor S. Trivedi, Srinivasan Ramani, Ricardo M. Fricks: Recent advances in modeling response-time distributions in real-time systems. 1023-1037 BibTeX
• Reinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm: The influence of processor architecture on the design and the results of WCET tools. 1038-1054 BibTeX
• Osman S. Unsal, Israel Koren: System-level power-aware design techniques in real-time systems. 1055-1069 BibTeX
• Irfan Pyarali, Douglas C. Schmidt, Ron Cytron: Techniques for enhancing real-time CORBA quality of service. 1070-1085 BibTeX
• Mohamed A. El-Gendy, Abhijit Bose, Kang G. Shin: Evolution of the Internet QoS and support for soft real-time applications. 1086-1104 BibTeX
• C. Douglas Locke, Peter C. Dibble: Java technology comes to real-time applications. 1105-1113 BibTeX
• Kwei-Jay Lin, Yu-Chung Wang: The design and implementation of real-time schedulers in RED-linux. 1114-1130 BibTeX
• Lui Sha: Upgrading real-time control software in the field. 1131-1140 BibTeX
• A. Perez Yuste, M. Salazar Palma: The introduction of automatic telephone service in Madrid. 1141-1144 BibTeX

Volume 91, Number 8, August 2003

Volume 91, Number 9, September 2003

Volume 91, Number 10, October 2003

• Christian Roux, Jayaram K. Udupa: Scanning the issue - special issue on emerging medical imaging technology. 1479-1482 BibTeX
• Erik L. Ritman: Evolution of medical tomographic imaging-as seen from a Darwinian perspective. 1483-1491 BibTeX
• Theobald O. J. Fuchs, Marc Kachelriess, Willi A. Kalender: Fast volume scanning approaches by X-ray-computed tomography. 1492-1502 BibTeX
• Mostafa Fatemi, Armando Manduca, James F. Greenleaf: Imaging elastic properties of biological tissues by low-frequency harmonic vibration. 1503-1519 BibTeX
• Felix W. Wehrli, Punam K. Saha, Byron R. Gomberg, Hee Kwon Song: Noninvasive assessment of bone architecture by magnetic resonance micro-imaging-based virtual bone biopsy. 1520-1542 BibTeX
• S. L. Bridal, J.-M. Correas, A. Saied, P. Laugier: Milestones on the road to higher resolution, quantitative, and functional ultrasonic imaging. 1543-1561 BibTeX
• Michael W. Vannier, E. V. Staab, Laurence P. Clarke: Matching clinical and biological needs with emerging imaging technologies. 1562-1573 BibTeX
• Stéphane Bonnet, A. Koenig, Sébastien Roux, P. Hugonnard, Régis Guillemaud, Pierre Grangeat: Dynamic X-ray computed tomography. 1574-1587 BibTeX
• Robert M. Lewitt, Samuel Matej: Overview of methods for image reconstruction from projections in emission computed tomography. 1588-1611 BibTeX
• Gabor T. Herman, Attila Kuba: Discrete tomography in medical imaging. 1612-1626 BibTeX
• Cengizhan Ozturk, John A. Derbyshire, Elliot R. McVeigh: Estimating motion from MRI data. 1627-1648 BibTeX
• Jayaram K. Udupa, Punam K. Saha: Fuzzy connectedness and image segmentation. 1649-1669 BibTeX
• Stephen M. Pizer, Guido Gerig, Sarang C. Joshi, Stephen R. Aylward: Multiscale medial shape-based analysis of image objects. 1670-1679 BibTeX
• Jean-José Jacq, Christian Roux: Geodesic morphometry with applications to 3-D morpho-functional anatomy. 1680-1698 BibTeX
• Frederik Maes, Dirk Vandermeulen, Paul Suetens: Medical image registration using mutual information. 1699-1722 BibTeX