Volume 56,
Number 1,
January 2007
Papers
- Tao Li, Lizy Kurian John, Anand Sivasubramaniam, Narayanan Vijaykrishnan, Juan Rubio:
OS-Aware Branch Prediction: Improving Microprocessor Control Flow Prediction for Operating Systems.
2-17
Electronic Edition (link) BibTeX
- Xiaotong Zhuang, Hsien-Hsin S. Lee:
Reducing Cache Pollution via Dynamic Data Prefetch Filtering.
18-31
Electronic Edition (link) BibTeX
- Kun Suk Kim, Sartaj Sahni:
Efficient Construction of Pipelined Multibit-Trie Router-Tables.
32-43
Electronic Edition (link) BibTeX
- Jaewook Chung, M. Anwar Hasan:
Low-Weight Polynomial Form Integers for Efficient Modular Multiplication.
44-57
Electronic Edition (link) BibTeX
- Mohammad J. Akhbarizadeh, Mehrdad Nourani, Rina Panigrahy, Samar Sharma:
A TCAM-Based Parallel Architecture for High-Speed Packet Forwarding.
58-72
Electronic Edition (link) BibTeX
- Guey-Yun Chang, Gen-Huey Chen, Gerard J. Chang:
(t, k) - Diagnosis for Matching Composition Networks under the MM* Model.
73-79
Electronic Edition (link) BibTeX
- Jiannong Cao, Guojun Wang, Keith C. C. Chan:
A Fault-Tolerant Group Communication Protocol in Large Scale and Highly Dynamic Mobile Next-Generation Networks.
80-94
Electronic Edition (link) BibTeX
- Song Jiang, Kei Davis, Xiaodong Zhang:
Coordinated Multilevel Buffer Cache Management with Consistent Access Locality Quantification.
95-108
Electronic Edition (link) BibTeX
- Berk Sunar, William J. Martin, Douglas R. Stinson:
A Provably Secure True Random Number Generator with Built-In Tolerance to Active Attacks.
109-119
Electronic Edition (link) BibTeX
- Anuja Sehgal, Krishnendu Chakrabarty:
Optimization of Dual-Speed TAM Architectures for Efficient Modular Testing of SOCs.
120-133
Electronic Edition (link) BibTeX
Brief Contribution
Volume 56,
Number 2,
February 2007
Special Section on Nano Systems and Computing
- André DeHon, Craig S. Lent, Fabrizio Lombardi:
Introduction to the Special Section on Nano Systems and Computing.
145-146
Electronic Edition (link) BibTeX
- Ravi K. Venkatesan, Ahmed S. Al-Zawawi, Krishnan Sivasubramanian, Eric Rotenberg:
ZettaRAM: A Power-Scalable DRAM Alternative through Charge-Voltage Decoupling.
147-160
Electronic Edition (link) BibTeX
- Love Kothari, Nicholas P. Carter:
Architecture of a Self-Checkpointing Microprocessor that Incorporates Nanomagnetic Devices.
161-173
Electronic Edition (link) BibTeX
- Saket Srivastava, Sanjukta Bhanja:
Hierarchical Probabilistic Macromodeling for QCA Circuits.
174-190
Electronic Edition (link) BibTeX
- Omar Paranaiba Vilela Neto, Marco Aurélio Cavalcanti Pacheco, Carlos R. Hall Barbosa:
Neural Network Simulation and Evolutionary Synthesis of QCA Circuits.
191-201
Electronic Edition (link) BibTeX
- Zeljko Zilic, Katarzyna Radecka:
Scaling and Better Approximating Quantum Fourier Transform by Higher Radices.
202-207
Electronic Edition (link) BibTeX
Regular Papers
- Joseph J. Sharkey, Dmitry V. Ponomarev:
Exploiting Operand Availability for Efficient Simultaneous Multithreading.
208-223
Electronic Edition (link) BibTeX
- Haining Fan, M. Anwar Hasan:
A New Approach to Subquadratic Space Complexity Parallel Multipliers for Extended Binary Fields.
224-233
Electronic Edition (link) BibTeX
- Wu-Chuan Yang, Dah-Jyh Guan, Chi-Sung Laih:
Fast Multicomputation with Asynchronous Strategy.
234-242
Electronic Edition (link) BibTeX
- Han Liang, Piyush Mishra, Kaijie Wu:
Error Correction On-Demand: A Low Power Register Transfer Level Concurrent Error Correction Technique.
243-252
Electronic Edition (link) BibTeX
- Giorgio C. Buttazzo, Manel Velasco, Pau Martí:
Quality-of-Control Management in Overloaded Real-Time Systems.
253-266
Electronic Edition (link) BibTeX
- Juan Piernas, Toni Cortes, José M. García:
The Design of New Journaling File Systems: The DualFS Case.
267-281
Electronic Edition (link) BibTeX
- Gang Chen, Guoqiang Bai, Hongyi Chen:
A New Systolic Architecture for Modular Division.
282-286
Electronic Edition (link) BibTeX
Volume 56,
Number 3,
March 2007
- Jason D. Bakos, Donald M. Chiarulli, Steven P. Levitan:
Lightweight Error Correction Coding for System-Level Interconnects.
289-304
Electronic Edition (link) BibTeX
- Majid Khabbazian, T. Aaron Gulliver, Vijay K. Bhargava:
Double Point Compression with Applications to Speeding Up Random Point Multiplication.
305-313
Electronic Edition (link) BibTeX
- Kirk W. Cameron, Rong Ge, Xian-He Sun:
lognP and log3P: Accurate Analytical Models of Point-to-Point Communication in Distributed Systems.
314-327
Electronic Edition (link) BibTeX
- Yutao Zhong, Steven G. Dropsho, Xipeng Shen, Ahren Studer, Chen Ding:
Miss Rate Prediction Across Program Inputs and Cache Configurations.
328-343
Electronic Edition (link) BibTeX
- Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto:
Adaptive Resource Allocation Control for Fair QoS Management.
344-357
Electronic Edition (link) BibTeX
- Xiliang Zhong, Cheng-Zhong Xu:
Energy-Aware Modeling and Scheduling for Dynamic Voltage Scaling with Statistical Real-Time Guarantee.
358-372
Electronic Edition (link) BibTeX
- Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
Space-Optimal, Wait-Free Real-Time Synchronization.
373-384
Electronic Edition (link) BibTeX
- Umut Balli, Haisang Wu, Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen:
Utility Accrual Real-Time Scheduling under Variable Cost Functions.
385-401
Electronic Edition (link) BibTeX
- James Chien-Mo Li, Hung-Mao Lin, Fang-Min Wang:
Column Parity Row Selection (CPRS) BIST Diagnosis Technique: Modeling and Analysis.
402-414
Electronic Edition (link) BibTeX
- Cecilia Metra, Daniele Rossi, T. M. Mak:
Won't On-Chip Clock Calibration Guarantee Performance Boost and Product Quality?.
415-428
Electronic Edition (link) BibTeX
- K. Wendy Tang, Ridha Kamoua:
An Upper Bound for the Bisection Width of a Diagonal Mesh.
429-431
Electronic Edition (link) BibTeX
Volume 56,
Number 4,
April 2007
- Madhusudhanan Anantha, Bella Bose, Luca G. Tallini:
ARQ Protocols and Unidirectional Codes.
433-443
Electronic Edition (link) BibTeX
- Tibor Horvath, Tarek F. Abdelzaher, Kevin Skadron, Xue Liu:
Dynamic Voltage Scaling in Multitier Web Servers with End-to-End Delay Control.
444-458
Electronic Edition (link) BibTeX
- Sang Seok Lim, Kyu Ho Park:
TPF: TCP Plugged File System for Efficient Data Delivery over TCP.
459-473
Electronic Edition (link) BibTeX
- Frank Zhigang Wang, Sining Wu, Na Helian, Michael Andrew Parker, Yike Guo, Yuhui Deng, Vineet R. Khare:
Grid-Oriented Storage: A Single-Image, Cross-Domain, High-Bandwidth Architecture.
474-487
Electronic Edition (link) BibTeX
- Min Lee, Euiseong Seo, Joonwon Lee, Jinsoo Kim:
PABC: Power-Aware Buffer Cache Management for Low Power Consumption.
488-501
Electronic Edition (link) BibTeX
- Rami G. Melhem:
Low Diameter Interconnections for Routing in High-Performance Parallel Systems.
502-510
Electronic Edition (link) BibTeX
- Alper Sen, Vijay K. Garg:
Formal Verification of Simulation Traces Using Computation Slicing.
511-527
Electronic Edition (link) BibTeX
- Andrea Fedeli, Franco Fummi, Graziano Pravadelli:
Properties Incompleteness Evaluation by Functional Verification.
528-544
Electronic Edition (link) BibTeX
- Xiaoyu Ruan, Rajendra S. Katti:
Data-Independent Pattern Run-Length Compression for Testing Embedded Cores in SoCs.
545-556
Electronic Edition (link) BibTeX
- Dong Xiang, Kaiwei Li, Jiaguang Sun, Hideo Fujiwara:
Reconfigured Scan Forest for Test Application Cost, Test Data Volume, and Test Power Reduction.
557-562
Electronic Edition (link) BibTeX
- Hachiro Fujita, Kohichi Sakaniwa:
Modified Low-Density MDS Array Codes for Tolerating Double Disk Failures in Disk Arrays.
563-566
Electronic Edition (link) BibTeX
- Dong-U Lee, John D. Villasenor:
A Bit-Width Optimization Methodology for Polynomial-Based Function Evaluation.
567-571
Electronic Edition (link) BibTeX
- Riyaz A. Patel, Mohammed Benaissa, Said Boussakta:
Fast Modulo 2n - (2n-2+1) Addition: A New Class of Adder for RNS.
572-576
Electronic Edition (link) BibTeX
Volume 56,
Number 5,
May 2007
- Upavan Gupta, Nagarajan Ranganathan:
Multievent Crisis Management Using Noncooperative Multistep Games.
577-589
Electronic Edition (link) BibTeX
- Wee Hock Desmond Ng, Michael P. Howarth, Zhili Sun, Haitham S. Cruickshank:
Dynamic Balanced Key Tree Management for Secure Multicast Communications.
590-605
Electronic Edition (link) BibTeX
- Francesco Poletti, Antonio Poggiali, Davide Bertozzi, Luca Benini, Pol Marchal, Mirko Loghi, Massimo Poncino:
Energy-Efficient Multiprocessor Systems-on-Chip for Embedded Computing: Exploring Programming Models and Their Architectural Support.
606-621
Electronic Edition (link) BibTeX
- Shorin Kyo, Shin'ichiro Okazaki, Tamio Arai:
An Integrated Memory Array Processor for Embedded Image Recognition Systems.
622-634
Electronic Edition (link) BibTeX
- Luca Breveglieri, Israel Koren, Paolo Maistri:
An Operation-Centered Approach to Fault Detection in Symmetric Cryptography Ciphers.
635-649
Electronic Edition (link) BibTeX
- Zhaoliang Pan, Melvin A. Breuer:
Estimating Error Rate in Defective Logic Using Signature Analysis.
650-661
Electronic Edition (link) BibTeX
- Katherine Compton, Scott Hauck:
Automatic Design of Area-Efficient Configurable ASIC Cores.
662-672
Electronic Edition (link) BibTeX
- Ali Ahmadinia:
Optimal Free-Space Management and Routing-Conscious Dynamic Placement for Reconfigurable Devices.
673-680
Electronic Edition (link) BibTeX
- Yuan-Shun Dai, Yi Pan, Xukai Zou:
A Hierarchical Modeling and Analysis for Grid Service Reliability.
681-691
Electronic Edition (link) BibTeX
- Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin:
Model Checking Safety-Critical Systems Using Safecharts.
692-705
Electronic Edition (link) BibTeX
- Sándor Imre:
Quantum Existence Testing and Its Application for Finding Extreme Values in Unsorted Databases.
706-710
Electronic Edition (link) BibTeX
- Wei-Chieh Ke, Bing-Hong Liu, Ming-Jer Tsai:
Constructing a Wireless Sensor Network to Fully Cover Critical Grids by Deploying Minimum Sensors on Grid Points Is NP-Complete.
710-715
Electronic Edition (link) BibTeX
- Haining Fan, M. Anwar Hasan:
Comments on "Five, Six, and Seven-Term Karatsuba-Like Formulae'.
716-717
Electronic Edition (link) BibTeX
- Richard West, Yuting Zhang:
Comments on "Dynamic Window-Constrained Scheduling of Real-Time Streams in Media Servers'.
718-719
Electronic Edition (link) BibTeX
Volume 56,
Number 6,
June 2007
- Fabrizio Lombardi:
Editor's Note.
721-726
Electronic Edition (link) BibTeX
- Tomás Lang, Alberto Nannarelli:
A Radix-10 Digit-Recurrence Division Unit: Algorithm and Architecture.
727-739
Electronic Edition (link) BibTeX
- Li Zhao, Laxmi N. Bhuyan, Ravi R. Iyer, Srihari Makineni, Donald Newell:
Hardware Support for Accelerating Data Movement in Server Platform.
740-753
Electronic Edition (link) BibTeX
- KwangJin Park, Hyunseung Choo:
Energy-Efficient Data Dissemination Schemes for Nearest Neighbor Query Processing.
754-768
Electronic Edition (link) BibTeX
- Yeim-Kuan Chang, Yung-Chieh Lin:
Dynamic Segment Trees for Ranges and Prefixes.
769-784
Electronic Edition (link) BibTeX
- Sobeeh Almukhaizim, Yiorgos Makris:
Concurrent Error Detection Methods for Asynchronous Burst-Mode Machines.
785-798
Electronic Edition (link) BibTeX
- Alexander Thomasian, Gang Fu, Chunqi Han:
Performance of Two-Disk Failure-Tolerant Disk Arrays.
799-814
Electronic Edition (link) BibTeX
- Young Choon Lee, Albert Y. Zomaya:
Practical Scheduling of Bag-of-Tasks Applications on Grids with Dynamic Resilience.
815-825
Electronic Edition (link) BibTeX
- Tsutomu Sasao, Shinobu Nagayama, Jon T. Butler:
Numerical Function Generators Using LUT Cascades.
826-838
Electronic Edition (link) BibTeX
- Diego R. Llanos Ferraris, David Orden, Belén Palop:
New Scheduling Strategies for Randomized Incremental Algorithms in the Context of Speculative Parallelization.
839-852
Electronic Edition (link) BibTeX
- Luca Allulli, Roberto Baldoni, Luigi Laura, Sara Tucci Piergiovanni:
On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern.
853-858
Electronic Edition (link) BibTeX
- Guoliang Xue, S. Kami Makki:
Multiconstrained QoS Routing: A Norm Approach.
859-863
Electronic Edition (link) BibTeX
Volume 56,
Number 7,
July 2007
- Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Asynchronous Agreement and Its Relation with Error-Correcting Codes.
865-875
Electronic Edition (link) BibTeX
- Bella Bose, Samir Elmougy, Luca G. Tallini:
Systematic t-Unidirectional Error-Detecting Codes over Zm.
876-880
Electronic Edition (link) BibTeX
- Mehmet Hakan Karaata, Mohamed G. Gouda:
A Stabilizing Deactivation/Reactivation Protocol.
881-888
Electronic Edition (link) BibTeX
- Ali Raza Butt, Chris Gniady, Y. Charlie Hu:
The Performance Impact of Kernel Prefetching on Buffer Cache Replacement Algorithms.
889-908
Electronic Edition (link) BibTeX
- Ashkan Hosseinzadeh Namin, Huapeng Wu, Majid Ahmadi:
Comb Architectures for Finite Field Multiplication in F(2^m).
909-916
Electronic Edition (link) BibTeX
- Antonio Caruso, Stefano Chessa, Piero Maestrini:
Worst-Case Diagnosis Completeness in Regular Graphs under the PMC Model.
917-9249
Electronic Edition (link) BibTeX
- Yuan-Shun Dai, Gregory Levitin, Kishor S. Trivedi:
Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation.
925-936
Electronic Edition (link) BibTeX
- Richard C. Murphy, Peter M. Kogge:
On the Memory Access Patterns of Supercomputer Applications: Benchmark Selection and Its Implications.
937-945
Electronic Edition (link) BibTeX
- Ming Ma, Yuanyuan Yang:
Adaptive Triangular Deployment Algorithm for Unattended Mobile Sensor Networks.
Electronic Edition (link) BibTeX
- B. John Oommen, Sudip Misra, Ole-Christoffer Granmo:
Routing Bandwidth-Guaranteed Paths in MPLS Traffic Engineering: A Multiple Race Track Learning Approach.
959-976
Electronic Edition (link) BibTeX
- Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana:
Monitoring of Timing Constraints with Confidence Threshold Requirements.
977-991
Electronic Edition (link) BibTeX
- Peter J. Leadbitter, Dan Page, Nigel P. Smart:
Nondeterministic Multithreading.
992-998
Electronic Edition (link) BibTeX
- Jingxi Jia, Bharadwaj Veeravalli, Debasish Ghose:
Adaptive Load Distribution Strategies for Divisible Load Processing on Resource Unaware Multilevel Tree Networks.
999-1005
Electronic Edition (link) BibTeX
- Yu-Chen Kuo, Teng-Yi Chiu:
Comments on "On the Nondomination of Cohorts Coteries".
1006-1007
Electronic Edition (link) BibTeX
Volume 56,
Number 8,
August 2007
- Jung-Chun Kao, Radu Marculescu:
Minimizing Eavesdropping Risk by Transmission Power Control in Multihop Wireless Networks.
1009-1023
Electronic Edition (link) BibTeX
- Francisco José Alfaro, José L. Sánchez, M. Menduiña, José Duato:
A Formal Model to Manage the InfiniBand Arbitration Tables Providing QoS.
1024-1039
Electronic Edition (link) BibTeX
- Sung Hoon Baek, Kyu Ho Park:
Matrix-Stripe-Cache-Based Contiguity Transform for Fragmented Writes in RAID-5.
1040-1054
Electronic Edition (link) BibTeX
- Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal:
Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks.
1055-1070
Electronic Edition (link) BibTeX
- Fariza Sabrina, Salil S. Kanhere, Sanjay Jha:
Design, Analysis and Implementation of a Novel Multiple Resource Scheduler.
1071-1086
Electronic Edition (link) BibTeX
- Preetam Ghosh, Kalyan Basu, Sajal K. Das:
A Novel Photonic Container Switched Architecture and Scheduler to Design the Core Transport Network.
1087-1104
Electronic Edition (link) BibTeX
- Cheng-Yeh Wang, Chih-Bin Kuo, Jing-Yang Jou:
Hybrid Wordlength Optimization Methods of Pipelined FFT Processors.
1105-1118
Electronic Edition (link) BibTeX
- Abusaleh M. Jabir, Dhiraj K. Pradhan:
A Graph-Based Unified Technique for Computing and Representing Coefficients over Finite Fields.
1119-1132
Electronic Edition (link) BibTeX
- Abusaleh M. Jabir, Dhiraj K. Pradhan, T. L. Rajaprabhu, A. K. Singh:
A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation.
1133-1145
Electronic Edition (link) BibTeX
- Xrysovalantis Kavousianos, Emmanouil Kalligeros, Dimitris Nikolos:
Optimal Selective Huffman Coding for Test-Data Compression.
1146-1152
Electronic Edition (link) BibTeX
Volume 56,
Number 9,
September 2007
- Rodrigo Capobianco Guido, Li Deng, Shoji Makino:
Guest Editors' Introduction: Special Section on Emergent Systems, Algorithms and Architectures for Speech-Based Human-Machine Interaction.
1153-1155
Electronic Edition (link) BibTeX
- Julian Odell, Kunal Mukerjee:
Architecture, User Interface, and Enabling Technology in Windows Vista's Speech Systems.
1156-1168
Electronic Edition (link) BibTeX
- Maycel Isaac Faraj, Josef Bigün:
Synergy of Lip-Motion and Acoustic Features in Biometric Speech and Speaker Recognition.
1169-1175
Electronic Edition (link) BibTeX
- Roger K. Moore:
PRESENCE: A Human-Inspired Architecture for Speech-Based Human-Machine Interaction.
1176-1188
Electronic Edition (link) BibTeX
- Shi-Xiong Zhang, Man-Wai Mak, Helen Meng:
Speaker Verification via High-Level Feature Based Phonetic-Class Pronunciation Modeling.
1189-1198
Electronic Edition (link) BibTeX
- Sakriani Sakti, Konstantin Markov, Satoshi Nakamura:
Incorporating Knowledge Sources Into a Statistical Acoustic Model for Spoken Language Communication Systems.
1199-1211
Electronic Edition (link) BibTeX
- José M. Pardo, Xavier Anguera, Chuck Wooters:
Speaker Diarization For Multiple-Distant-Microphone Meetings Using Several Sources of Information.
1212-1224
Electronic Edition (link) BibTeX
- Chien-Lin Huang, Chung-Hsien Wu:
Generation of Phonetic Units for Mixed-Language Speech Recognition Based on Acoustic and Contextual Analysis.
1225-1233
Electronic Edition (link) BibTeX
- Po-Chuan Lin, Jia-Ching Wang, Jhing-Fa Wang, Hao-Ching Sung:
Unsupervised Speaker Change Detection Using SVM Training Misclassification Rate.
1234-1244
Electronic Edition (link) BibTeX
- Chi-Chun Hsia, Chung-Hsien Wu, Jian-Qi Wu:
Conversion Function Clustering and Selection Using Linguistic and Spectral Information for Emotional Voice Conversion.
1245-1254
Electronic Edition (link) BibTeX
- Martin Omaña, Daniele Rossi, Cecilia Metra:
Latch Susceptibility to Transient Faults and New Hardening Approach.
1255-1268
Electronic Edition (link) BibTeX
- Kazuo Sakiyama, Lejla Batina, Bart Preneel, Ingrid Verbauwhede:
Multicore Curve-Based Cryptoprocessor with Reconfigurable Modular Arithmetic Logic Units over GF(2n).
1269-1282
Electronic Edition (link) BibTeX
- Mathieu Cluzeau:
Reconstruction of a Linear Scrambler.
1283-1291
Electronic Edition (link) BibTeX
- Yossef Oren, Adi Shamir:
Remote Password Extraction from RFID Tags.
1292-1296
Electronic Edition (link) BibTeX
Volume 56,
Number 10,
October 2007
- Madhusudhanan Anantha, Bella Bose, Bader F. AlBdaiwi:
Mixed-Radix Gray Codes in Lee Metric.
1297-1307
Electronic Edition (link) BibTeX
- Jean-Pierre David, Kassem Kalach, Nicolas Tittley:
Hardware Complexity of Modular Multiplication and Exponentiation.
1308-1319
Electronic Edition (link) BibTeX
- Luigi Dadda:
Multioperand Parallel Decimal Adder: A Mixed Binary and BCD Approach.
1320-1328
Electronic Edition (link) BibTeX
- Sourav Pal, Sumantra R. Kundu, Mainak Chatterjee, Sajal K. Das:
Combinatorial Reverse Auction based Scheduling in Multi-Rate Wireless Systems.
1329-1341
Electronic Edition (link) BibTeX
- Oliverio J. Santana, Alex Ramírez, Mateo Valero:
Enlarging Instruction Streams.
1342-1357
Electronic Edition (link) BibTeX
- Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds.
1358-1371
Electronic Edition (link) BibTeX
- Hakan Aydin:
Exact Fault-Sensitive Feasibility Analysis of Real-Time Tasks.
1372-1386
Electronic Edition (link) BibTeX
- Wu Jigang, Thambipillai Srikanthan, Xiaodong Wang:
Integrated Row and Column Rerouting for Reconfiguration of VLSI Arrays with Four-Port Switches.
1387-1400
Electronic Edition (link) BibTeX
- Shobha Vasudevan, Vinod Viswanath, Robert W. Sumners, Jacob A. Abraham:
Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems.
1401-1414
Electronic Edition (link) BibTeX
- Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov:
Solution and Optimization of Systems of Pseudo-Boolean Constraints.
1415-1424
Electronic Edition (link) BibTeX
- Peng Liu, Jie Li, Sushil Jajodia, Paul Ammann:
Can-Follow Concurrency Control.
1425-1430
Electronic Edition (link) BibTeX
- Régis Leveugle:
Early Analysis of Fault-based Attack Effects in Secure Circuits.
1431-1434
Electronic Edition (link) BibTeX
- Haining Fan, M. Anwar Hasan:
Subquadratic Computational Complexity Schemes for Extended Binary Field Multiplication Using Optimal Normal Bases.
1435-1437
Electronic Edition (link) BibTeX
Volume 56,
Number 11,
November 2007
- Nevine AbouGhazaleh, Bruce R. Childers, Daniel Mossé, Rami G. Melhem:
Near-Memory Caching for Improved Energy Consumption.
1441-1455
Electronic Edition (link) BibTeX
- Ray K. Lam, Dah-Ming Chiu, John C. S. Lui:
On the Access Pricing and Network Scaling Issues of Wireless Mesh Networks.
1456-1469
Electronic Edition (link) BibTeX
- Nicola Petra, Davide De Caro, Antonio G. M. Strollo:
A Novel Architecture for Galois Fields GF(2^m) Multipliers Based on Mastrovito Scheme.
1470-1483
Electronic Edition (link) BibTeX
- Riyaz A. Patel, Mohammed Benaissa, Said Boussakta:
Fast Parallel-Prefix Architectures for Modulo 2n-1 Addition with a Single Representation of Zero.
1484-1492
Electronic Edition (link) BibTeX
- Sid Ahmed Ali Touati:
On the Periodic Register Need in Software Pipelining.
1493-1504
Electronic Edition (link) BibTeX
- Sebastian Fischmeister, Oleg Sokolsky, Insup Lee:
A Verifiable Language for Programming Real-Time Communication Schedules.
1505-1519
Electronic Edition (link) BibTeX
- Ajay Joshi, Yue Luo, Lizy K. John:
Applying Statistical Sampling for Fast and Efficient Simulation of Commercial Workloads.
1520-1533
Electronic Edition (link) BibTeX
- Chung-Ho Chen, Kuo-Su Hsiao:
Scalable Dynamic Instruction Scheduler through Wake-Up Spatial Locality.
1534-1548
Electronic Edition (link) BibTeX
- Joshua J. Yi, Resit Sendag, David J. Lilja, Douglas M. Hawkins:
Speed versus Accuracy Trade-Offs in Microarchitectural Simulations.
1549-1563
Electronic Edition (link) BibTeX
- Ge Nong, Sen Zhang:
Efficient Algorithms for the Inverse Sort Transform.
1564-1574
Electronic Edition (link) BibTeX
- Pi-Rong Sheu, Shan-Tai Chen:
On the Hardness of Approximating the Multicast Delay Variation Problem.
1575-1577
Electronic Edition (link) BibTeX
- Ajay D. Kshemkalyani:
Temporal Predicate Detection Using Synchronized Clocks.
1578-1584
Electronic Edition (link) BibTeX
Volume 56,
Number 12,
December 2007
- Emmanuel Touloupis, James A. Flint, Vassilios A. Chouliaras, David D. Ward:
Study of the Effects of SEU-Induced Faults on a Pipeline Protected Microprocessor.
1585-1596
Electronic Edition (link) BibTeX
- Hui Chen, Yang Xiao:
On-Bound Selection Cache Replacement Policy for Wireless Data Access.
1597-1611
Electronic Edition (link) BibTeX
- Xiaofan Yang, Yuan Yan Tang:
Efficient Fault Identification of Diagnosable Systems under the Comparison Model.
1612-1618
Electronic Edition (link) BibTeX
- Dong Xiang, Mingjing Chen, Hideo Fujiwara:
Using Weighted Scan Enable Signals to Improve Test Effectiveness of Scan-Based BIST.
1619-1628
Electronic Edition (link) BibTeX
- Prasad Calyam, Chang-Gun Lee, Eylem Ekici, Mark Haffner, Nathan Howes:
Orchestration of Network-Wide Active Measurements for Supporting Distributed Computing Applications.
1629-1642
Electronic Edition (link) BibTeX
- Rodney Van Meter, Kae Nemoto, W. J. Munro:
Communication Links for Distributed Quantum Computation.
1643-1653
Electronic Edition (link) BibTeX
- Guangyan Zhang, Jiwu Shu, Wei Xue, Weimin Zheng:
Design and Implementation of an Out-of-Band Virtualization System for Large SANs.
1654-1665
Electronic Edition (link) BibTeX
- Rodolfo Pellizzoni, Marco Caccamo:
Real-Time Management of Hardware and Software Tasks for FPGA-based Embedded Systems.
1666-1680
Electronic Edition (link) BibTeX
- Xiaochun Xu, Sartaj Sahni:
Approximation Algorithms for Sensor Deployment.
1681-1695
Electronic Edition (link) BibTeX
- Paolo Montuschi, Javier D. Bruguera, Luigi Ciminiera, José-Alejandro Piñeiro:
A Digit-by-Digit Algorithm for mth Root Extraction.
1696-1706
Electronic Edition (link) BibTeX
- Pierre Chardaire, Musbah Barake, Geoff P. McKeown:
A PROBE-Based Heuristic for Graph Partitioning.
1707-1720
Electronic Edition (link) BibTeX
- Gian-Carlo Cardarilli, Salvatore Pontarelli, Marco Re, Adelio Salsano:
Analysis of Errors and Erasures in Parity Sharing RS Codecs.
1721-1726
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:23:07 2009
by Michael Ley (ley@uni-trier.de)
