Skip to main content

Showing 1–33 of 33 results for author: Adve, S

.
  1. arXiv:2403.13989  [pdf, other

    cs.SE

    FastFlip: Compositional Error Injection Analysis

    Authors: Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita Adve, Darko Marinov, Sasa Misailovic

    Abstract: Instruction-level error injection analyses aim to find instructions where errors often lead to unacceptable outcomes like Silent Data Corruptions (SDCs). These analyses require significant time, which is especially problematic if developers wish to regularly analyze software that evolves over time. We present FastFlip, a combination of empirical error injection and symbolic SDC propagation analy… ▽ More

    Submitted 26 March, 2024; v1 submitted 20 March, 2024; originally announced March 2024.

  2. arXiv:2210.08974  [pdf

    cs.CY

    Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing

    Authors: Klara Nahrstedt, Naresh Shanbhag, Vikram Adve, Nancy Amato, Romit Roy Choudhury, Carl Gunter, Nam Sung Kim, Olgica Milenkovic, Sayan Mitra, Lav Varshney, Yurii Vlasov, Sarita Adve, Rashid Bashir, Andreas Cangellaris, James DiCarlo, Katie Driggs-Campbell, Nick Feamster, Mattia Gazzola, Karrie Karahalios, Sanmi Koyejo, Paul Kwiat, Bo Li, Negar Mehr, Ravish Mehra, Andrew Miller , et al. (3 additional authors not shown)

    Abstract: In 2021, the Coordinated Science Laboratory CSL, an Interdisciplinary Research Unit at the University of Illinois Urbana-Champaign, hosted the Future of Computing Symposium to celebrate its 70th anniversary. CSL's research covers the full computing stack, computing's impact on society and the resulting need for social responsibility. In this white paper, we summarize the major technological points… ▽ More

    Submitted 4 October, 2022; originally announced October 2022.

  3. arXiv:2207.13280  [pdf, other

    cs.RO

    On-Device CPU Scheduling for Sense-React Systems

    Authors: Aditi Partap, Samuel Grayson, Muhammad Huzaifa, Sarita Adve, Brighten Godfrey, Saurabh Gupta, Kris Hauser, Radhika Mittal

    Abstract: Sense-react systems (e.g. robotics and AR/VR) have to take highly responsive real-time actions, driven by complex decisions involving a pipeline of sensing, perception, planning, and reaction tasks. These tasks must be scheduled on resource-constrained devices such that the performance goals and the requirements of the application are met. This is a difficult scheduling problem that requires handl… ▽ More

    Submitted 14 August, 2022; v1 submitted 27 July, 2022; originally announced July 2022.

    Comments: 13 pages, 13 figures. This version of the paper extends a shorter version that has been accepted at IROS'22

  4. arXiv:2201.08603  [pdf, other

    cs.AR

    Trireme: Exploring Hierarchical Multi-Level Parallelism for Domain Specific Hardware Acceleration

    Authors: Georgios Zacharopoulos, Adel Ejjeh, Ying **g, En-Yu Yang, Tianyu Jia, Iulian Brumar, Jeremy Intan, Muhammad Huzaifa, Sarita Adve, Vikram Adve, Gu-Yeon Wei, David Brooks

    Abstract: The design of heterogeneous systems that include domain specific accelerators is a challenging and time-consuming process. While taking into account area constraints, designers must decide which parts of an application to accelerate in hardware and which to leave in software. Moreover, applications in domains such as Extended Reality (XR) offer opportunities for various forms of parallel execution… ▽ More

    Submitted 21 January, 2022; originally announced January 2022.

    Comments: 20 pages

  5. arXiv:2201.00060  [pdf, other

    cs.SE cs.PL

    Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software

    Authors: Bogdan Alexandru Stoica, Swarup K. Sahoo, James R. Larus, Vikram S. Adve

    Abstract: Dynamic program slicing can significantly reduce the code developers need to inspect by narrowing it down to only a subset of relevant program statements. However, despite an extensive body of research showing its usefulness, dynamic slicing is still short from production-level use due to the high cost of runtime instrumentation. As an alternative, we propose statistical program slicing, a novel… ▽ More

    Submitted 31 December, 2021; originally announced January 2022.

  6. arXiv:2104.11678  [pdf, other

    cs.AR

    A Case for Fine-grain Coherence Specialization in Heterogeneous Systems

    Authors: Johnathan Alsop, Weon Taek Na, Matthew D. Sinclair, Samuel Grayson, Sarita V. Adve

    Abstract: Hardware specialization is becoming a key enabler of energyefficient performance. Future systems will be increasingly heterogeneous, integrating multiple specialized and programmable accelerators, each with different memory demands. Traditionally, communication between accelerators has been inefficient, typically orchestrated through explicit DMA transfers between different address spaces. More re… ▽ More

    Submitted 23 April, 2021; originally announced April 2021.

  7. arXiv:2103.15773  [pdf, other

    q-bio.MN

    Modelling the Role of Inter-cellular Communication in Modulating Photosynthesis in Plants

    Authors: Hamdan Awan, Raviraj S. Adve, Nigel Wallbridge, Carrol Plummer, Andrew W. Eckford

    Abstract: In this paper we show how inter-cellular molecular communication may change the overall levels of photosynthesis in plants. Individual plant cells respond to external stimuli, such as illumination levels, to regulate their photosynthetic output. Here, we present a mathematical model which shows that by sharing information internally using molecular communication, plants may increase overall photos… ▽ More

    Submitted 29 March, 2021; originally announced March 2021.

    Comments: 6 pages, 6 figures- Submitted for Publication in IEEE Transactions on Molecular, Biological and Multi-scale Sciences

  8. arXiv:2004.04643  [pdf, other

    cs.DC cs.ET

    Exploring Extended Reality with ILLIXR: A New Playground for Architecture Research

    Authors: Muhammad Huzaifa, Rishi Desai, Samuel Grayson, Xutao Jiang, Ying **g, Jae Lee, Fang Lu, Yihan Pang, Joseph Ravichandran, Finn Sinclair, Boyuan Tian, Hengzhi Yuan, Jeffrey Zhang, Sarita V. Adve

    Abstract: As we enter the era of domain-specific architectures, systems researchers must understand the requirements of emerging application domains. Augmented and virtual reality (AR/VR) or extended reality (XR) is one such important domain. This paper presents ILLIXR, the first open source end-to-end XR system (1) with state-of-the-art components, (2) integrated with a modular and extensible multithreaded… ▽ More

    Submitted 2 March, 2021; v1 submitted 25 March, 2020; originally announced April 2020.

  9. arXiv:2002.10245  [pdf, other

    cs.DC

    Specializing Coherence, Consistency, and Push/Pull for GPU Graph Analytics

    Authors: Giordano Salvador, Wesley H. Darvin, Muhammad Huzaifa, Johnathan Alsop, Matthew D. Sinclair, Sarita V. Adve

    Abstract: This work provides the first study to explore the interaction of update propagation with and without fine-grained synchronization (push vs. pull), emerging coherence protocols (GPU vs. DeNovo coherence), and software-centric consistency models (DRF0, DRF1, and DRFrlx) for graph workloads on emerging integrated GPU-CPU systems with native unified shared memory. We study 6 graph applications with 6… ▽ More

    Submitted 25 February, 2020; v1 submitted 19 February, 2020; originally announced February 2020.

  10. arXiv:2002.09786  [pdf, other

    cs.LG cs.CV stat.ML

    HarDNN: Feature Map Vulnerability Evaluation in CNNs

    Authors: Abdulrahman Mahmoud, Siva Kumar Sastry Hari, Christopher W. Fletcher, Sarita V. Adve, Charbel Sakr, Naresh Shanbhag, Pavlo Molchanov, Michael B. Sullivan, Timothy Tsai, Stephen W. Keckler

    Abstract: As Convolutional Neural Networks (CNNs) are increasingly being employed in safety-critical applications, it is important that they behave reliably in the face of hardware errors. Transient hardware errors may percolate undesirable state during execution, resulting in software-manifested errors which can adversely affect high-level decision making. This paper presents HarDNN, a software-directed ap… ▽ More

    Submitted 25 February, 2020; v1 submitted 22 February, 2020; originally announced February 2020.

    Comments: 14 pages, 5 figures, a short version accepted for publication in First Workshop on Secure and Resilient Autonomy (SARA) co-located with MLSys2020

  11. arXiv:1911.04895  [pdf, other

    q-bio.MN cs.IT q-bio.NC

    Communication in Plants: Comparison of Multiple Action Potential and Mechanosensitive Signals with Experiments

    Authors: Hamdan Awan, Kareem Zeid, Raviraj S. Adve, Nigel Wallbridge, Carrol Plummer, Andrew W. Eckford

    Abstract: Both action potentials and mechanosensitive signalling are an important communication mechanisms in plants. Considering an information theoretic framework, this paper explores the effective range of multiple action potentials for a long chain of cells (i.e., up to 100) in different configurations, and introduces the study of multiple mechanosensitive activation signals (generated due to a mechanic… ▽ More

    Submitted 12 November, 2019; originally announced November 2019.

    Comments: 12 Pages, 15 Figures, Accepted for Publication in IEEE Transactions on NanoBioscience

    Journal ref: IEEE Transactions on NanoBioscience 2019

  12. arXiv:1901.02111  [pdf, ps, other

    cs.NI

    Scheduling for VoLTE: Resource Allocation Optimization and Low-Complexity Algorithms

    Authors: Maryam Mohseni, S. Alireza Banani, Andrew W. Eckford, Raviraj S. Adve

    Abstract: We consider scheduling and resource allocation in long-term evolution (LTE) networks across voice over LTE (VoLTE) and best-effort data users. The difference between these two is that VoLTE users get scheduling priority to receive their required quality of service. As we show, strict priority causes data services to suffer. We propose new scheduling and resource allocation algorithms to maximize t… ▽ More

    Submitted 7 January, 2019; originally announced January 2019.

  13. arXiv:1811.03612  [pdf, other

    q-bio.NC cs.IT eess.SP

    Communication and Information Theory of Single Action Potential Signals in Plants

    Authors: Hamdan Awan, Raviraj S. Adve, Nigel Wallbridge, Carrol Plummer, Andrew W. Eckford

    Abstract: Many plants, such as Mimosa pudica (the sensitive plant), employ electrochemical signals known as action potentials (APs) for rapid intercellular communication. In this paper, we consider a reaction diffusion model of individual AP signals to analyze APs from a communication and information theoretic perspective. We use concepts from molecular communication to explain the underlying process of inf… ▽ More

    Submitted 8 November, 2018; originally announced November 2018.

    Comments: 13 Pages, 15 Figures, Accepted for Publication in IEEE Transactions on NanoBioscience

  14. arXiv:1808.07173  [pdf, ps, other

    cs.IT eess.SP

    Optimizing the MIMO Cellular Downlink: Multiplexing, Diversity, or Interference Nulling?

    Authors: Kianoush Hosseini, Caiyi Zhu, Ahmad Khan, Raviraj S. Adve, Wei Yu

    Abstract: A base-station (BS) equipped with multiple antennas can use its spatial dimensions in three different ways: (1) to serve multiple users, thereby achieving a multiplexing gain, (2) to provide spatial diversity in order to improve user rates and (3) to null interference in neighboring cells. This paper answers the following question: What is the optimal balance between these three competing benefits… ▽ More

    Submitted 21 August, 2018; originally announced August 2018.

    Comments: 12 pages, 9 figures, to appear in IEEE Transactions on Communications

  15. arXiv:1805.07069  [pdf, ps, other

    cs.AI

    Multifunction Cognitive Radar Task Scheduling Using Monte Carlo Tree Search and Policy Networks

    Authors: Mahdi Shaghaghi, Raviraj S. Adve, Zhen Ding

    Abstract: A modern radar may be designed to perform multiple functions, such as surveillance, tracking, and fire control. Each function requires the radar to execute a number of transmit-receive tasks. A radar resource management (RRM) module makes decisions on parameter selection, prioritization, and scheduling of such tasks. RRM becomes especially challenging in overload situations, where some tasks may n… ▽ More

    Submitted 18 May, 2018; originally announced May 2018.

  16. arXiv:1805.06336  [pdf, other

    q-bio.NC cs.IT q-bio.TO

    Characterizing Information Propagation in Plants

    Authors: Hamdan Awan, Raviraj S. Adve, Nigel Wallbridge, Carrol Plummer, Andrew W. Eckford

    Abstract: This paper considers an electro-chemical based communication model for intercellular communication in plants. Many plants, such as Mimosa pudica (the "sensitive plant"), employ electrochemical signals known as action potentials (APs) for communication purposes. In this paper we present a simple model for action potential generation. We make use of the concepts from molecular communication to expla… ▽ More

    Submitted 25 April, 2018; originally announced May 2018.

    Comments: 6 pages, 5 Figures, Submitted to IEEE Conference, 2018

  17. arXiv:1609.06756  [pdf

    cs.CY

    21st Century Computer Architecture

    Authors: Mark D. Hill, Sarita Adve, Luis Ceze, Mary Jane Irwin, David Kaeli, Margaret Martonosi, Josep Torrellas, Thomas F. Wenisch, David Wood, Katherine Yelick

    Abstract: Because most technology and computer architecture innovations were (intentionally) invisible to higher layers, application and other software developers could reap the benefits of this progress without engaging in it. Higher performance has both made more computationally demanding applications feasible (e.g., virtual assistants, computer vision) and made less demanding applications easier to devel… ▽ More

    Submitted 21 September, 2016; originally announced September 2016.

    Comments: A Computing Community Consortium (CCC) white paper, 16 pages

  18. Analyzing Dependent Placements of Small Cells in a Two-Layer Heterogeneous Network with a Rate Coverage Constraint

    Authors: S. Alireza Banani, Andrew W. Eckford, Raviraj S. Adve

    Abstract: We consider the downlink of a two-layer heterogeneous network, comprising macro cells (MCs) and small cells (SCs). The existing literature generally assumes independent placements of the access points (APs) in different layers; in contrast, we analyze a dependent placement where SC APs are placed at locations with poor service from the MC layer. Our goal is to obtain an estimate of the number of S… ▽ More

    Submitted 20 September, 2016; originally announced September 2016.

    Comments: Accepted for publication in IEEE Transactions on Vehicular Technology

  19. A Stochastic Analysis of Network MIMO Systems

    Authors: Kianoush Hosseini, Wei Yu, Raviraj S. Adve

    Abstract: This paper quantifies the benefits and limitations of cooperative communications by providing a statistical analysis of the downlink in network multiple-input multiple-output (MIMO) systems. We consider an idealized model where the multiple-antenna base-stations (BSs) are distributed according to a homogeneous Poisson point process and cooperate by forming disjoint clusters. We assume that perfect… ▽ More

    Submitted 5 April, 2016; originally announced April 2016.

    Comments: Accepted for publication at IEEE Transactions on Signal Processing

  20. Analyzing the Impact of Access Point Density on the Performance of Finite-Area Networks

    Authors: S. Alireza Banani, Andrew W. Eckford, Raviraj S. Adve

    Abstract: Assuming a network of infinite extent, several researchers have analyzed small-cell networks using a Poisson point process (PPP) location model, leading to simple analytic expressions. The general assumption has been that these results apply to finite-area networks as well. However, do the results of infinite-area networks apply to finite-area networks? In this paper, we answer this question by ob… ▽ More

    Submitted 10 December, 2015; originally announced December 2015.

    Comments: This article has been accepted for publication in a future issue of the journal of IEEE Transactions on Communications, but has not been fully edited. Content may change prior to final publication

  21. arXiv:1501.04564  [pdf

    cs.IT

    Analyzing the Impact of Inter Cooperation Region Interference in Coordinated Multi-Point Uplink Networks

    Authors: S. Alireza Banani, Raviraj S. Adve

    Abstract: We analyze the uplink of coordinated multi-point (CoMP) networks in which cooperation can be amongst 2 or 3 base stations (BSs). We consider a 2D network of BSs on a regular hexagonal lattice wherein the cooperation tessellates the 2D plane into cooperation regions (CRs); specifically, we analyze the impact of the interference between the CRs in the network. Our model accounts realistic propagatio… ▽ More

    Submitted 19 January, 2015; originally announced January 2015.

    Comments: Accepted in IEEE Trans. on Communications (TCOM), Jan. 2015

  22. arXiv:1501.01668  [pdf, ps, other

    cs.NI cs.IT

    Handoff Rate and Coverage Analysis in Multi-tier Heterogeneous Networks

    Authors: Sanam Sadr, Raviraj S. Adve

    Abstract: This paper analyzes the impact of user mobility in multi-tier heterogeneous networks. We begin by obtaining the handoff rate for a mobile user in an irregular cellular network with the access point locations modeled as a homogeneous Poisson point process. The received signal-to-interference-ratio (SIR) distribution along with a chosen SIR threshold is then used to obtain the probability of coverag… ▽ More

    Submitted 7 January, 2015; originally announced January 2015.

    Comments: Accepted for publication in the IEEE Transactions on Wireless Communications

  23. Partially-Distributed Resource Allocation in Small-Cell Networks

    Authors: Sanam Sadr, Raviraj S. Adve

    Abstract: We propose a four-stage hierarchical resource allocation scheme for the downlink of a large-scale small-cell network in the context of orthogonal frequency-division multiple access (OFDMA). Since interference limits the capabilities of such networks, resource allocation and interference management are crucial. However, obtaining the globally optimum resource allocation is exponentially complex and… ▽ More

    Submitted 16 August, 2014; originally announced August 2014.

    Comments: Accepted on May 15, 2014 for publication in the IEEE Transactions on Wireless Communications

  24. arXiv:1408.3757  [pdf, ps, other

    cs.IT cs.NI

    Tier Association Probability and Spectrum Partitioning for Maximum Rate Coverage in Multi-tier Heterogeneous Networks

    Authors: Sanam Sadr, Raviraj S. Adve

    Abstract: For a wireless multi-tier heterogeneous network with orthogonal spectrum allocation across tiers, we optimize the association probability and the fraction of spectrum allocated to each tier so as to maximize rate coverage. In practice, the association probability can be controlled using a biased received signal power. The optimization problem is non-convex and we are forced to explore locally opti… ▽ More

    Submitted 16 August, 2014; originally announced August 2014.

    Comments: Accepted for publication in the IEEE Communications Letters

  25. Large-Scale MIMO versus Network MIMO for Multicell Interference Mitigation

    Authors: Kianoush Hosseini, Wei Yu, Raviraj S. Adve

    Abstract: This paper compares two important downlink multicell interference mitigation techniques, namely, large-scale (LS) multiple-input multiple-output (MIMO) and network MIMO. We consider a cooperative wireless cellular system operating in time-division duplex (TDD) mode, wherein each cooperating cluster includes $B$ base-stations (BSs), each equipped with multiple antennas and scheduling $K$ single-ant… ▽ More

    Submitted 22 July, 2014; originally announced July 2014.

    Comments: 13 pages, 7 figures; IEEE Journal of Selected Topics in Signal Processing, Special Issue on Signal Processing for Large-Scale MIMO Communications

  26. arXiv:1302.1592   

    cs.IT

    Required Base Station Density in Coordinated Multi-Point Uplink with Rate Constraints

    Authors: S. Alireza Banani, Raviraj S. Adve

    Abstract: In this paper we obtain the required spatial density of base stations (BSs) in a coordinated multi-point uplink cellular network to meet a chosen quality of service metric. Our model assumes cooperation amongst two BSs and the required density is obtained under shadowing and Rayleigh fading for different LTE-A path loss models. The proposed approach guarantees that the worst-case achievable rate i… ▽ More

    Submitted 27 September, 2013; v1 submitted 6 February, 2013; originally announced February 2013.

    Comments: This paper has been withdrawn by the author due to ignoring interference in the formulations

  27. arXiv:1104.5553  [pdf, ps, other

    cs.IT

    Resource Allocation for Selection-Based Cooperative OFDM Networks

    Authors: Kianoush Hosseini, Raviraj S. Adve

    Abstract: This paper considers resource allocation to achieve max-min fairness in a selection-based orthogonal frequency division multiplexing network wherein source nodes are assisted by fixed decode-and-forward relays. The joint problem of transmission strategy selection, relay assignment, and power allocation is a combinatorial problem with exponential complexity. To develop effective solutions to these… ▽ More

    Submitted 13 December, 2011; v1 submitted 29 April, 2011; originally announced April 2011.

  28. Molecular communication in fluid media: The additive inverse Gaussian noise channel

    Authors: K. V. Srinivas, Raviraj S. Adve, Andrew W. Eckford

    Abstract: We consider molecular communication, with information conveyed in the time of release of molecules. The main contribution of this paper is the development of a theoretical foundation for such a communication system. Specifically, we develop the additive inverse Gaussian (IG) noise channel model: a channel in which the information is corrupted by noise with an inverse Gaussian distribution. We show… ▽ More

    Submitted 9 December, 2010; v1 submitted 30 November, 2010; originally announced December 2010.

    Comments: 28 pages, 8 figures. Submitted to IEEE Transactions on Information Theory. Corrects minor typos in the first version

  29. arXiv:1006.3959  [pdf, ps, other

    physics.bio-ph cond-mat.mes-hall cond-mat.soft cs.IT

    Molecular Communication Using Brownian Motion with Drift

    Authors: Sachin Kadloor, Raviraj S. Adve, Andrew W. Eckford

    Abstract: Inspired by biological communication systems, molecular communication has been proposed as a viable scheme to communicate between nano-sized devices separated by a very short distance. Here, molecules are released by the transmitter into the medium, which are then sensed by the receiver. This paper develops a preliminary version of such a communication system focusing on the release of either one… ▽ More

    Submitted 23 July, 2011; v1 submitted 17 June, 2010; originally announced June 2010.

    Comments: 20 pages, 7 figures, Accepted for publication in IEEE Trans. on NanoBioscience

  30. arXiv:1001.3118  [pdf, ps, other

    cs.IT

    Energy Optimization across Training and Data for Multiuser Minimum Sum-MSE Linear Precoding

    Authors: Adam J. Tenenbaum, Raviraj S. Adve

    Abstract: This paper considers minimum sum mean-squared error (sum-MSE) linear transceiver designs in multiuser downlink systems with imperfect channel state information. Specifically, we derive the optimal energy allocations for training and data phases for such a system. Under MMSE estimation of uncorrelated Rayleigh block fading channels with equal average powers, we prove the separability of the energ… ▽ More

    Submitted 18 January, 2010; originally announced January 2010.

    Comments: Submitted to CISS 2010(6 pages, 4 figures). Uses IEEEtran.cls V1.7a

  31. arXiv:0912.3323  [pdf, ps, other

    cs.IT

    Minimizing Sum-MSE Implies Identical Downlink and Dual Uplink Power Allocations

    Authors: Adam J. Tenenbaum, Raviraj S. Adve

    Abstract: In the multiuser downlink, power allocation for linear precoders that minimize the sum of mean squared errors under a sum power constraint is a non-convex problem. Many existing algorithms solve an equivalent convex problem in the virtual uplink and apply a transformation based on uplink-downlink duality to find a downlink solution. In this letter, we analyze the optimality criteria for the power… ▽ More

    Submitted 19 July, 2010; v1 submitted 17 December, 2009; originally announced December 2009.

    Comments: Submitted to IEEE Communications Letters (9 pages, 1 figure, revised). Uses IEEEtran.cls V1.7a

  32. arXiv:0811.1500  [pdf, ps, other

    cs.IT

    Linear Processing and Sum Throughput in the Multiuser MIMO Downlink

    Authors: Adam J. Tenenbaum, Raviraj S. Adve

    Abstract: We consider linear precoding and decoding in the downlink of a multiuser multiple-input, multiple-output (MIMO) system, wherein each user may receive more than one data stream. We propose several mean squared error (MSE) based criteria for joint transmit-receive optimization and establish a series of relationships linking these criteria to the signal-to-interference-plus-noise ratios of individu… ▽ More

    Submitted 10 February, 2009; v1 submitted 10 November, 2008; originally announced November 2008.

    Comments: Accepted for publication in IEEE Transactions on Wireless Communications

  33. arXiv:0801.0340  [pdf, ps, other

    cs.IT

    Sum Rate Maximization using Linear Precoding and Decoding in the Multiuser MIMO Downlink

    Authors: Adam J. Tenenbaum, Raviraj S. Adve

    Abstract: We propose an algorithm to maximize the instantaneous sum data rate transmitted by a base station in the downlink of a multiuser multiple-input, multiple-output system. The transmitter and the receivers may each be equipped with multiple antennas and each user may receive more than one data stream. We show that maximizing the sum rate is closely linked to minimizing the product of mean squared e… ▽ More

    Submitted 2 January, 2008; originally announced January 2008.

    Comments: 6 pages, 4 figures, uses ieeetran.cls