default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Computers, Volume 60
Volume 60, Number 1, January 2011
- Fabrizio Lombardi:
Editorial. 1 - Albert Y. Zomaya
:
State of the Journal. 2 - Dimitris Gizopoulos, Shubhendu Mukherjee:
Guest Editors' Introduction: Special Section on Dependable Computer Architecture. 3-4 - Shantanu Gupta, Shuguang Feng, Amin Ansari, Scott A. Mahlke:
StageNet: A Reconfigurable Fabric for Constructing Dependable CMPs. 5-19 - Somnath Paul, Fang Cai, Xinmiao Zhang, Swarup Bhunia:
Reliability-Driven ECC Allocation for Multiple Bit Error Resilience in Processor Cache. 20-34 - Amin Ansari, Shantanu Gupta, Shuguang Feng, Scott A. Mahlke:
Maximizing Spare Utilization by Virtually Reorganizing Faulty Cache Lines. 35-49 - Alaa R. Alameldeen, Zeshan Chishti, Chris Wilkerson, Wei Wu, Shih-Lien Lu:
Adaptive Cache Design to Enable Reliable Low-Voltage Operation. 50-63 - Suzhen Wu, Hong Jiang, Dan Feng, Lei Tian, Bo Mao:
Improving Availability of RAID-Structured Storage Systems by Workload Outsourcing. 64-79 - Soojun Im, Dongkun Shin:
Flash-Aware RAID Techniques for Dependable and High-Performance Flash Memory SSD. 80-92 - Weikang Qian, Xin Li, Marc D. Riedel, Kia Bazargan, David J. Lilja:
An Architecture for Fault-Tolerant Computation with Stochastic Logic. 93-105 - Hwanju Kim, Heeseung Jo, Joonwon Lee:
XHive: Efficient Cooperative Caching for Virtual Machines. 106-119 - Zhenyu Zhong, Kang Li:
Speed Up Statistical Spam Filter by Approximation. 120-134 - Krzysztof Jankowski, Pierre Laurent:
Packed AES-GCM Algorithm Suitable for AES/PCLMULQDQ Instructions. 135-138
Volume 60, Number 2, February 2011
- Javier D. Bruguera, Marius Cornea, Debjit Das Sarma:
Guest Editors' Introduction: Special Section on Computer Arithmetic. 145-147 - Fabrizio Lamberti, Nikolaos Andrikos, Elisardo Antelo, Paolo Montuschi:
Reducing the Computation Time in (Short Bit-Width) Two's Complement Multipliers. 148-156 - Sylvie Boldo, Jean-Michel Muller:
Exact and Approximated Error of the FMA. 157-164 - Niels Moller, Torbjörn Granlund:
Improved Division by Invariant Integers. 165-175 - Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman:
Simulation-Based Verification of Floating-Point Division. 176-188 - Vassil S. Dimitrov, Kimmo U. Järvinen, Jithra Adikari:
Area-Efficient Multipliers Based on Multiple-Radix Representations. 189-201 - Mark G. Arnold, Caroline Collange:
A Real/Complex Logarithmic Number System ALU. 202-213 - Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy:
Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation. 214-227 - Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux:
Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic. 228-241 - Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond:
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa. 242-253 - Jithra Adikari, Vassil S. Dimitrov, Laurent Imbert:
Hybrid Binary-Ternary Number System for Elliptic Curve Cryptosystems. 254-265 - Jean-Luc Beuchat, Jérémie Detrey, Nicolas Estibals, Eiji Okamoto, Francisco Rodríguez-Henríquez:
Fast Architectures for the \eta_T Pairing over Small-Characteristic Supersingular Elliptic Curves. 266-281 - Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux:
Performing Arithmetic Operations on Round-to-Nearest Representations. 282-291 - Xue-Liang Liao, Shi Bai, Yu-Ping Wang, Shi-Min Hu:
ISRA-Based Grouping: A Disk Reorganization Approach for Disk Energy Conservation and Disk Performance Enhancement. 292-304
Volume 60, Number 3, March 2011
- Yuan-Hao Chang, Tei-Wei Kuo:
A Management Strategy for the Reliability and Performance Improvement of MLC-Based Flash-Memory Storage Systems. 305-320 - Youngwoo Park, Kyu Ho Park:
High-Performance Scalable Flash File System Using Virtual Metadata Storage with Phase-Change RAM. 321-334 - Ningde Xie, Guiqiang Dong, Tong Zhang:
Using Lossless Data Compression in Data Storage Systems: Not for Saving Space. 335-345 - Kai Zheng, Hongbin Lu, Erich M. Nahum:
Scalable Pattern Matching on Multicore Platform via Dynamic Differentiated Distributed Detection (D⁴). 346-359 - Ziliang Zong, Adam Manzanares, Xiaojun Ruan, Xiao Qin:
EAD and PEBD: Two Energy-Aware Duplication Scheduling Algorithms for Parallel Tasks on Homogeneous Clusters. 360-374 - Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury:
A Parallel Efficient Architecture for Large Cryptographically Robust n × k (k>n/2) Mappings. 375-385 - Xiang-Yang Li, Yajun Wang, Yu Wang:
Complexity of Data Collection, Aggregation, and Selection for Wireless Sensor Networks. 386-399 - Miao Zhao, Ming Ma, Yuanyuan Yang:
Efficient Data Gathering with Mobile Collectors and Space-Division Multiple Access Technique in Wireless Sensor Networks. 400-417 - Antonio G. M. Strollo, Davide De Caro, Nicola Petra:
Elementary Functions Hardware Implementation Using Constrained Piecewise-Polynomial Approximations. 418-432 - Gianlorenzo D'Angelo, Gabriele Di Stefano, Alfredo Navarra, Maria Cristina Pinotti:
Recoverable Robust Timetables: An Algorithmic Approach on Trees. 433-446
Volume 60, Number 4, April 2011
- Ming T. Liu:
A Brief History of the IEEE Transactions on Computers. 449 - Alfredo Benso, Yiorgos Makris, Pinaki Mazumder:
Guest Editors' Introduction: Special Section on Chips and Architectures for Emerging Technologies and Applications. 450-451 - Alessandro Cilardo:
Exploring the Potential of Threshold Logic for Cryptography-Related Operations. 452-462 - Zine Abid, Ming Liu, Wei Wang:
3D Integration of CMOL Structures for FPGA Applications. 463-471 - Thomas J. Ashby, Pedro Diaz, Marcelo Cintra:
Software-Based Cache Coherence with Hardware-Assisted Selective Self-Invalidations Using Bloom Filters. 472-483 - Preeti Ranjan Panda, M. Balakrishnan, Anant Vishnoi:
Compressing Cache State for Postsilicon Processor Debug. 484-497 - Adam B. Kinsman, Nicola Nicolici:
Trade-Offs in Test Data Compression and Deterministic X-Masking of Responses. 498-507 - Frank Olaf Sem-Jacobsen, Tor Skeie, Olav Lysne, José Duato:
Dynamic Fault Tolerance in Fat Trees. 508-525 - Lei Jin, Sangyeun Cho:
Macro Data Load: An Efficient Mechanism for Enhancing Loaded Data Reuse. 526-537 - Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch:
Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. 538-551 - Jae-Wan Jang, Myeongjae Jeon, Hyo-Sil Kim, Heeseung Jo, Jin-Soo Kim, Seungryoul Maeng:
Energy Reduction in Consolidated Servers through Memory-Aware Virtual Machine Scheduling. 552-564 - Yong Tang, Bin Xiao, Xicheng Lu:
Signature Tree Generation for Polymorphic Worms. 565-579 - Ping Xu, Xiang-Yang Li, Shaojie Tang, Jizhong Zhao:
Efficient and Strategyproof Spectrum Allocations in Multichannel Wireless Networks. 580-593 - Po-Ching Lin, Ying-Dar Lin, Yuan-Cheng Lai:
A Hybrid Algorithm of Backward Hashing and Automaton Tracking for Virus Scanning. 594-601 - M. Anwar Hasan, Christophe Nègre:
Low Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation. 602-607
Volume 60, Number 5, May 2011
- Albert Y. Zomaya:
State of the Journal. 609-613 - Samuel Tsen, Sonia González-Navarro, Michael J. Schulte, Katherine Compton:
Hardware Designs for Binary Integer Decimal-Based Rounding. 614-627 - Chun-Lung Hsu, Yu-Sheng Huang, Ming-Da Chang, Hung-Yen Huang:
Design of an Error-Tolerance Scheme for Discrete Wavelet Transform in JPEG 2000 Encoder. 628-638 - Yawei Li, Zhiling Lan:
FREM: A Fast Restart Mechanism for General Checkpoint/Restart. 639-652 - Eyee Hyun Nam, Bryan Suk Joon Kim, Hyeonsang Eom, Sang Lyul Min:
Ozone (O3): An Out-of-Order Flash Memory Controller Architecture. 653-666 - Ana Paula Couto da Silva, Emilio Leonardi, Marco Mellia, Michela Meo:
Exploiting Heterogeneity in P2P Video Streaming. 667-679 - Siew Kei Lam, Thambipillai Srikanthan, Christopher T. Clarke:
Architecture-Aware Technique for Mapping Area-Time Efficient Custom Instructions onto FPGAs. 680-692 - Sun-Yuan Hsieh, Yi-Ling Huang, Ying-Chi Yang:
Multiprefix Trie: A New Data Structure for Designing Dynamic Router-Tables. 693-706 - Bülent Tavli, Wendi Rabiner Heinzelman:
Energy-Efficient Real-Time Multicast Routing in Mobile Ad Hoc Networks. 707-722 - Haoyu Song, Jonathan S. Turner:
Toward Advocacy-Free Evaluation of Packet Classification Algorithms. 723-733 - Shang-Wei Lin, Pao-Ann Hsiung:
Counterexample-Guided Assume-Guarantee Synthesis through Learning. 734-750
Volume 60, Number 6, June 2011
- Mong-Ling Chiao, Da-Wei Chang:
ROSE: A Novel Flash Translation Layer for NAND Flash Memory Based on Hybrid Address Translation. 753-766 - Yi-Jung Chen, Chia-Lin Yang, Jaw-Wei Chi, Jian-Jia Chen:
TACLC: Timing-Aware Cache Leakage Control for Hard Real-Time Systems. 767-782 - Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano, Tsutomu Yoshinaga:
Prediction Router: A Low-Latency On-Chip Router Architecture with Multiple Predictors. 783-799 - Xiaomin Zhu, Xiao Qin, Meikang Qiu:
QoS-Aware Fault-Tolerant Scheduling for Real-Time Tasks on Heterogeneous Clusters. 800-812 - Hung-Min Sun, Hsun Wang, King-Hang Wang, Chien-Ming Chen:
A Native APIs Protection Mechanism in the Kernel Mode against Malicious Code. 813-823 - Jaehong Min, Daeyoung Yoon, Youjip Won:
Efficient Deduplication Techniques for Modern Backup Operation. 824-840 - Sherief Reda, Ryan Cochran, Abdullah Nazma Nowroz:
Improved Thermal Tracking for Processors Using Hard and Soft Sensor Allocation Techniques. 841-851 - Mingsong Chen, Prabhat Mishra:
Property Learning Techniques for Efficient Generation of Directed Tests. 852-864 - Bing-Hong Liu, Min-Lun Chen, Ming-Jer Tsai:
Message-Efficient Location Prediction for Mobile Objects in Wireless Sensor Networks Using a Maximum Likelihood Technique. 865-878 - Samer Samarah, Azzedine Boukerche, Alexander Shema Habyalimana:
Target Association Rules: A New Behavioral Patterns for Point of Coverage Wireless Sensor Networks. 879-889 - Ashkan Hosseinzadeh Namin, Huapeng Wu, Majid Ahmadi:
A Word-Level Finite Field Multiplier Using Normal Basis. 890-895 - George Michelogiannakis, Daniel Becker, William J. Dally:
Evaluating Elastic Buffer and Wormhole Flow Control. 896-903 - G. Robert Redinbo:
Systematic Wavelet Subcodes for Data Protection. 904-909
Volume 60, Number 7, July 2011
- Sameh Galal, Mark Horowitz:
Energy-Efficient Floating-Point Unit Design. 913-922 - Miaoqing Huang, Kris Gaj, Tarek A. El-Ghazawi:
New Hardware Architectures for Montgomery Modular Multiplication Algorithm. 923-936 - Ehab Anis Daoud, Nicola Nicolici:
On Using Lossy Compression for Repeatable Experiments during Silicon Debug. 937-950 - Luc Malrait, Sara Bouchenak, Nicolas Marchand:
Experience with CONSER: A System for Server Control through Fluid Modeling. 951-963 - Mohamed Hefeeda, Cheng-Hsin Hsu, Kianoosh Mokhtarian:
Design and Evaluation of a Proxy Cache for Peer-to-Peer Traffic. 964-977 - Miao Liu, Duo Liu, Yi Wang, Meng Wang, Zili Shao:
On Improving Real-Time Interrupt Latencies of Hybrid Operating Systems with Two-Level Hardware Interrupts. 978-991 - Aleksandar Milenkovic, Vladimir Uzelac, Milena Milenkovic, Martin Burtscher:
Caches and Predictors for Real-Time, Unobtrusive, and Cost-Effective Program Tracing in Embedded Systems. 992-1005 - Satoshi Fujita:
A Branch-and-Bound Algorithm for Solving the Multiprocessor Scheduling Problem with Improved Lower Bounding Techniques. 1006-1016 - Xiaoyong Tang, Kenli Li, Zeng Zeng, Bharadwaj Veeravalli:
A Novel Security-Driven Scheduling Algorithm for Precedence-Constrained Tasks in Heterogeneous Distributed Systems. 1017-1029 - Stefano Di Carlo, Paolo Prinetto, Alessandro Savino:
Software-Based Self-Test of Set-Associative Cache Memories. 1030-1044 - Tingting Chen, Fan Wu, Sheng Zhong:
FITS: A Finite-Time Reputation System for Cooperation in Wireless Ad Hoc Networks. 1045-1056
Volume 60, Number 8, August 2011
- Sandeep K. Shukla, Jean-Pierre Talpin:
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems. 1057-1058 - Pedro Sánchez, Diego Alonso, Francisca Rosique, Bárbara Álvarez, Juan Angel Pastor:
Introducing Safety Requirements Traceability Support in Model-Driven Development of Robotic Applications. 1059-1071 - Irem Y. Tumer, Carol S. Smidts:
Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems. 1072-1084 - Rachid Hadjidj, Hanifa Boucheneb:
Efficient Reachability Analysis for Time Petri Nets. 1085-1099 - Matt Duckham, Doron Nussbaum, Jörg-Rüdiger Sack, Nicola Santoro:
Efficient, Decentralized Computation of the Topology of Spatial Regions. 1100-1113 - Ransford Hyman Jr., Koustav Bhattacharya, Nagarajan Ranganathan:
Redundancy Mining for Soft Error Detection in Multicore Processors. 1114-1125 - Jong-Chan Kim, Duhee Lee, Chang-Gun Lee, Kanghee Kim:
RT-PLRU: A New Paging Scheme for Real-Time Execution of Program Codes on NAND Flash Memory for Portable Media Players. 1126-1141 - Pengju Shang, Jun Wang, Huijun Zhu, Peng Gu:
A New Placement-Ideal Layout for Multiway Replication Storage System. 1142-1156 - Yawen Chen, Hong Shen:
Embedding Meshes and Tori on Double-Loop Networks of the Same Size. 1157-1168 - Mehdi Kargahi, Ali Movaghar:
Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions. 1169-1181 - Heeyeol Yu, Rabi N. Mahapatra:
A Power and Throughput-Efficient Packet Classifier with n Bloom Filters. 1182-1193 - Javier Carretero, Pedro Chaparro, Xavier Vera, Jaume Abella, Antonio González:
Implementing End-to-End Register Data-Flow Continuous Self-Test. 1194-1206 - Xin Tian, Lin Wu, Yihua Tan, Jin-Wen Tian:
Efficient Multi-Input/Multi-Output VLSI Architecture for Two-Dimensional Lifting-Based Discrete Wavelet Transform. 1207-1211 - Ivan V. Oseledets:
Improved n-Term Karatsuba-Like Formulas in GF(2). 1212-1216
Volume 60, Number 9, September 2011
- Cecilia Metra, Rajesh Galivanche:
Guest Editors' Introduction: Special Section on Concurrent On-Line Testing and Error/Fault Resilience of Digital Systems. 1217-1218 - Guihai Yan, Yinhe Han, Xiaowei Li:
ReviveNet: A Self-Adaptive Architecture for Improving Lifetime Reliability via Localized Timing Adaptation. 1219-1232 - Ramtilak Vemu, Jacob A. Abraham:
CEDA: Control-Flow Error Detection Using Assertions. 1233-1245 - Saeed Shamshiri, Kwang-Ting (Tim) Cheng:
Modeling Yield, Cost, and Quality of a Spare-Enhanced Multicore Chip. 1246-1259 - Michail Maniatakos, Naghmeh Karimi, Chandra Tirumurti, Abhijit Jas, Yiorgos Makris:
Instruction-Level Impact Analysis of Low-Level Faults in a Modern Microprocessor Controller. 1260-1273 - Naghmeh Karimi, Michail Maniatakos, Abhijit Jas, Chandra Tirumurti, Yiorgos Makris:
Workload-Cognizant Concurrent Error Detection in the Scheduler of a Modern Microprocessor. 1274-1287 - Soheil Aminzadeh, Alireza Ejlali:
A Comparative Study of System-Level Energy Management Methods for Fault-Tolerant Hard Real-Time Systems. 1288-1299 - Ming Gao, Hsiu-Ming Chang, Peter Lisherness, Kwang-Ting (Tim) Cheng:
Time-Multiplexed Online Checking. 1300-1312 - Muhammad Mudassar Nisar, Abhijit Chatterjee:
Guided Probabilistic Checksums for Error Control in Low-Power Digital Filters. 1313-1326 - Mehran Mozaffari Kermani, Arash Reyhani-Masoleh:
A Low-Power High-Performance Concurrent Fault Detection Approach for the Composite Field S-Box and Inverse S-Box. 1327-1340 - Arash Hariri, Arash Reyhani-Masoleh:
Concurrent Error Detection in Montgomery Multiplication over Binary Extension Fields. 1341-1353 - Wonhak Hong, Rajashekhar Modugu, Minsu Choi:
Efficient Online Self-Checking Modulo 2^n+1 Multiplier Design. 1354-1365 - Valeria Garofalo, Nicola Petra, Ettore Napoli:
Analytical Calculation of the Maximum Error for a Family of Truncated Multipliers Providing Minimum Mean Square Error. 1366-1371 - Nicholas Pippenger:
On-the-Fly Algorithms and Sequential Machines. 1372-1375
Volume 60, Number 10, October 2011
- Chin-Yung Lu, Shiou-An Wang, Sy-Yen Kuo:
An Extended XQDD Representation for Multiple-Valued Quantum Logic. 1377-1389 - Rahul Ratan, A. Yavuz Oruç:
Self-Routing Quantum Sparse Crossbar Packet Concentrators. 1390-1405 - Chang Joo Lee, Onur Mutlu, Veynu Narasiman, Yale N. Patt:
Prefetch-Aware Memory Controllers. 1406-1430 - Ge-Ming Chiu, Li-Hsing Yen, Tai-Lin Chin:
Optimal Storage Placement for Tree-Structured Networks with Heterogeneous Channel Costs. 1431-1444 - Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle:
An Empirical Architecture-Centric Approach to Microarchitectural Design Space Exploration. 1445-1458 - Kazuteru Namba, Hideo Ito:
Test Sets for Robust Path Delay Fault Testing on Two-Rail Logic Circuits. 1459-1470 - Ge Nong, Sen Zhang, Wai Hong Chan:
Two Efficient Algorithms for Linear Time Suffix Array Construction. 1471-1484 - Amlan Ganguly, Kevin Chang, Sujay Deb, Partha Pratim Pande, Benjamin Belzer, Christof Teuscher:
Scalable Hybrid Wireless Network-on-Chip Architectures for Multicore Systems. 1485-1502 - Ching-Nung Yang, Chih-Yang Chiu, Gen-Cheng Wu:
Efficient Encoding/Decoding for Second-Order Spectral-Null Codes by Reducing Random Walks. 1503-1510 - Pedro Reviriego, Chris J. Bleakley, Juan Antonio Maestro, Anne O'Donnell:
Offset DMR: A Low Overhead Soft Error Detection and Correction Technique for Transform-Based Convolution. 1511-1516
Volume 60, Number 11, November 2011
- Kuo-Yi Chen, J. Morris Chang, Ting-Wei Hou:
Multithreading in Java: Performance and Scalability on Multicore Systems. 1521-1534 - Daniel Piso Fernandez, Javier D. Bruguera:
Variable Latency Goldschmidt Algorithm Based on a New Rounding Method and a Remainder Estimate. 1535-1546 - Soumyaroop Roy, Nagarajan Ranganathan, Srinivas Katkoori:
State-Retentive Power Gating of Register Files in Multicore Processors Featuring Multithreaded In-Order Cores. 1547-1560 - Minh Huynh, Stuart Goose, Prasant Mohapatra, Raymond R.-F. Liao:
RRR: Rapid Ring Recovery Submillisecond Decentralized Recovery for Ethernet Ring. 1561-1570 - David Eppstein, Michael T. Goodrich:
Succinct Greedy Geometric Routing Using Hyperbolic Geometry. 1571-1580 - Howard M. Heys, Liang Zhang:
Pipelined Statistical Cipher Feedback: A New Mode for High-Speed Self-Synchronizing Stream Encryption. 1581-1595 - Derek Chi-Wai Pao, Xing Wang, Xiaoran Wang, Cong Cao, Yuesheng Zhu:
String Searching Engine for Virus Scanning. 1596-1609 - Chih-Hsun Chou, Kuo-Feng Ssu, Hewijin Christine Jiau, Wei-Tong Wang, Chao Wang:
A Dead-End Free Topology Maintenance Protocol for Geographic Forwarding in Wireless Sensor Networks. 1610-1621 - Jaehoon Jeong, Shuo Guo, Tian He, David H. C. Du:
Autonomous Passive Localization Algorithm for Road Sensor Networks. 1622-1637 - Hady S. AbdelSalam, Stephan Olariu:
Toward Efficient Task Management in Wireless Sensor Networks. 1638-1651 - Adam B. Kinsman, Nicola Nicolici:
Computational Vector-Magnitude-Based Range Determination for Scientific Abstract Data Types. 1652-1663
Volume 60, Number 12, 2011
- Chun-Hung Lai, Fu-Ching Yang, Ing-Jer Huang:
A Trace-Capable Instruction Cache for Cost-Efficient Real-Time Program Trace Compression in SoC. 1665-1677 - Todor Mladenov, Saeid Nooshabadi, Keseon Kim:
Implementation and Evaluation of Raptor Codes on Embedded Systems. 1678-1691 - Zhimin Chen, Patrick Schaumont:
A Parallel Implementation of Montgomery Multiplication on Multicore Systems: Algorithm, Analysis, and Prototype. 1692-1703 - Chun-An Chen, Sun-Yuan Hsieh:
(t, k)-Diagnosis for Component-Composition Graphs under the MM* Model. 1704-1717 - Jun Zhu, Zhefu Jiang, Zhen Xiao, Xiaoming Li:
Optimizing the Performance of Virtual Machine Synchronization for Fault Tolerance. 1718-1729 - Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. 1730-1743 - Cristiana Bolchini, Antonio Miele, Chiara Sandionigi:
A Novel Design Methodology for Implementing Reliability-Aware Systems on SRAM-Based FPGAs. 1744-1758 - Xinfa Hu, Guoliang Xing, Joseph Y.-T. Leung:
Exploring the Interplay between Computation and Communication in Distributed Real-Time Scheduling. 1759-1771 - Sookyoung Lee, Mohamed F. Younis:
EQAR: Effective QoS-Aware Relay Node Placement Algorithm for Connecting Disjoint Wireless Sensor Subnetworks. 1772-1787 - Wei Dong, Chun Chen, Xue Liu, Yunhao Liu, Jiajun Bu, Kougen Zheng:
SenSpire OS: A Predictable, Flexible, and Efficient Operating System for Wireless Sensor Networks. 1788-1801 - Alex X. Liu, Fei Chen, JeeHyun Hwang, Tao Xie:
Designing Fast and Scalable XACML Policy Evaluation Engines. 1802-1817 - Robert M. Hierons:
Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports. 1818-1822
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
