CSDL - IEEE Transactions on Computers - Table of Contents

TABLE OF CONTENTS

Issue No. 10 - October (vol. 57)

ISSN: 0018-9340

SPECIAL SECTION on Programming Models and Architectures for Embedded Systems

Guest Editors' Introduction to the Special Section on Programming Architectures for Embedded Systems (HTML)

Sandeep K. Shukla

Jean-Pierre Talpin

pp. 1297-1299

Implementing Synchronous Models on Loosely Time Triggered Architectures (Abstract)

Stavros Tripakis , Cadence, Berkeley

Claudio Pinello , Cadence, Berkeley

Albert Benveniste , INRIA, Rennes

Alberto Sangiovanni-Vincent , University of California at Berkeley, Berkeley

Paul Caspi , CNRS, Grenoble

Marco Di Natale , Scuola Superiore Santa Anna c/o Scuola Superiore S. Anna, Pisa

pp. 1300-1314

The Algebra of Connectors—Structuring Interaction in BIP (Abstract)

Simon Bliudze

Joseph Sifakis

pp. 1315-1330

Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs (Abstract)

Sander Stuijk , Eindhoven University of Technology, Eindhoven

Marc Geilen , Eindhoven University of Technology, Eindhoven

Twan Basten , Eindhoven University of Technology, Eindhoven

pp. 1331-1345

A Tractable and Fast Method for Monitoring SystemC TLM Specifications (Abstract)

Laurence Pierre , TIMA, Grenoble

Luca Ferro , TIMA, grenoble

pp. 1346-1356

A Model-Driven Development Approach to Mapping UML State Diagrams to Synthesizable VHDL (Abstract)

Steve K. Wood , University of Kent, Canterbury

David H. Akehurst , University of Kent, Canterbury

Oleg Uzenkov , Unicore, Kiev

W.G.J. Howells , University of Kent, Canterbury

Klaus D. McDonald-Maier , University of Essex, Colchester

pp. 1357-1371

Regular Papers

Cache Noise Prediction (Abstract)

Prateek Pujara , Binghamton University, Binghamton

Aneesh Aggarwal , Binghamton University, Binghamton

pp. 1372-1386

MICRO: A Multilevel Caching-Based Reconstruction Optimization for Mobile Storage Systems (Abstract)

Tao Xie , San Diego State University, San Diego

Hui Wang , San Diego State University, San Diego

pp. 1386-1398

A Computing Resource Management Framework for Software-Defined Radios (Abstract)

Vuk Marojevic , Polytechnic University of Catalonia, Barcelona

Xavier Revés Ballesté , Polytechnic University of Catalonia, Barcelona

Antoni Gelonch , Polytechnic University of Catalonia, Barcelona

pp. 1399-1412

A Cooperative Game Framework for QoS Guided Job Allocation Schemes in Grids (Abstract)

Riky Subrata , University of Western Australia

Albert Y. Zomaya , The University of Sydney, Sydney

Bjorn Landfeldt , The University of Sydney, Sydney

pp. 1413-1422

Integrated Coverage and Connectivity in Wireless Sensor Networks: A Two-Dimensional Percolation Problem (Abstract)

Habib M. Ammari , The University of Texas at Arlington, Arlington

Sajal K. Das , The University of Texas at Arlington, Arlington

pp. 1423-1434

Brief Contributions

On Calculating Multiplicative Inverses Modulo $2^{m}$ (Abstract)

Ortal Arazi , The University of Tennessee, Knoxville

Hairong Qi , The University of Tennessee, Knoxville

pp. 1435-1438