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
• 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
• Ashish Tiwari, Natarajan Shankar, John M. Rushby: Invisible formal methods for embedded control systems. 29-39
• Feng Zhao, Christopher Bailey-Kellogg, Markus P. J. Fromherz: Physics-based encapsulation in embedded software for distributed sensing and control applications. 40-63
• Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone: The synchronous languages 12 years later. 64-83
• Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch: Giotto: a time-triggered language for embedded programming. 84-99
• Joseph Sifakis, Stavros Tripakis, Sergio Yovine: Building models of real-time systems from application software. 100-111
• Hermann Kopetz, Günther Bauer: The time-triggered architecture. 112-126
• 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
• Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty: Model-integrated development of embedded software. 145-164
• Wayne Wolf, Mahmut T. Kandemir: Memory system optimization of embedded software. 165-182
• Christopher D. Gill, Ron Cytron, Douglas C. Schmidt: Multiparadigm scheduling for distributed real-time embedded computing. 183-197
• 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
• 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
• I. J. Blanken: Scanning our past from the Netherlands: Bernard Tellegen and the pentode valve. 238-239

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

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