By Topic

Proceedings of the IEEE

Issue 8 • Date Aug. 2004

Filter Results

Displaying Results 1 - 16 of 16
  • [Front cover]

    Publication Year: 2004, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (188 KB)
    Freely Available from IEEE
  • IEEE Member Digital Library [advertisement]

    Publication Year: 2004, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (105 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2004, Page(s): 1225
    Request permission for commercial reuse | PDF file iconPDF (44 KB)
    Freely Available from IEEE
  • Proceedings of the IEEE publication information

    Publication Year: 2004, Page(s): 1226
    Request permission for commercial reuse | PDF file iconPDF (38 KB)
    Freely Available from IEEE
  • Scanning the issue

    Publication Year: 2004, Page(s):1227 - 1228
    Request permission for commercial reuse | PDF file iconPDF (36 KB) | HTML iconHTML
    Freely Available from IEEE
  • Holographic Data Storage Systems

    Publication Year: 2004, Page(s):1229 - 1230
    Cited by:  Papers (1)
    Request permission for commercial reuse | PDF file iconPDF (35 KB) | HTML iconHTML
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Holographic data storage systems

    Publication Year: 2004, Page(s):1231 - 1280
    Cited by:  Papers (80)  |  Patents (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (6848 KB) | HTML iconHTML

    In this paper, we discuss fundamental issues underlying holographic data storage: grating formation, recording and readout of thick and thin holograms, multiplexing techniques, signal-to-noise ratio considerations, and readout techniques suitable for conventional, phase conjugate, and associative search data retrieval. Next, we consider holographic materials characteristics for digital data storag... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal Verification of Timed Systems: A Survey and Perspective

    Publication Year: 2004, Page(s):1281 - 1282
    Request permission for commercial reuse | PDF file iconPDF (30 KB) | HTML iconHTML
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal verification of timed systems: a survey and perspective

    Publication Year: 2004, Page(s):1283 - 1305
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (616 KB) | HTML iconHTML

    An overview of the current state of the art of formal verification of real-time systems is presented. We discuss commonly accepted models, specification languages, verification frameworks, state-space representation schemes, state-space construction procedures, reduction techniques, pioneering tools, and finally some new related issues. We also make a few comments according to our experience with ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification and Analysis of Power-Managed Systems

    Publication Year: 2004, Page(s):1306 - 1307
    Request permission for commercial reuse | PDF file iconPDF (35 KB) | HTML iconHTML
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification and analysis of power-managed systems

    Publication Year: 2004, Page(s):1308 - 1346
    Cited by:  Papers (11)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1608 KB) | HTML iconHTML

    Dynamic power management encompasses several techniques for reducing energy dissipation in electronic systems by selective slowdown or shutdown of components. We present a theoretical framework for explaining and classifying different approaches to power management. Within this framework, we model power-manageable components, workloads, and controllers as discrete-event systems (DESs). The structu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Electrical engineering hall of fame - George Westinghouse

    Publication Year: 2004, Page(s):1347 - 1349
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1552 KB) | HTML iconHTML

    In 1911, the well-known inventor-entrepreneur George Westinghouse became the third recipient of the Edison Medal awarded by the American Institute of Electrical Engineers (AIEE). He was honored for his important contributions to the "development of the alternating current system for light and power." A prolific inventor, he received approximately 400 patents during his career of almost 50 years an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Future Special Issues/Special Sections of the IEEE Proceedings

    Publication Year: 2004, Page(s):1350 - 1351
    Request permission for commercial reuse | PDF file iconPDF (27 KB)
    Freely Available from IEEE
  • Quality without compromise [advertisement]

    Publication Year: 2004, Page(s): 1352
    Request permission for commercial reuse | PDF file iconPDF (319 KB)
    Freely Available from IEEE
  • Celebrating the vitality of technology the Proceedings of the IEEE [advertisement]

    Publication Year: 2004, Page(s): c3
    Request permission for commercial reuse | PDF file iconPDF (324 KB)
    Freely Available from IEEE
  • Proceedings of the IEEE check out our September issue

    Publication Year: 2004, Page(s): c4
    Request permission for commercial reuse | PDF file iconPDF (525 KB)
    Freely Available from IEEE

Aims & Scope

The most highly-cited general interest journal in electrical engineering and computer science, the Proceedings is the best way to stay informed on an exemplary range of topics.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
H. Joel Trussell
North Carolina State University