Reliability of Mobile Processes with Noisy Channels
To model the behavior of channels in real-world mobile systems, Ying introduced an extension of the \pi-calculus by taking channel noise into account. Unfortunately, this extension is not faithful in the sense that its semantics does not coincide with ...
Design, Performance, and Energy Consumption of eDRAM/SRAM Macrocells for L1 Data Caches
SRAM and DRAM have been the predominant technologies used to implement memory cells in computer systems, each one having its advantages and shortcomings. SRAM cells are faster and require no refresh since reads are not destructive. In contrast, DRAM ...
A Radix-16 Combined Complex Division/Square Root Unit with Operand Prescaling
We present a novel design of a radix-16 combined unit for complex division and square root in fixed-point format. A new digit-recurrence algorithm with two-step operand prescaling is developed for complex square root to avoid postscaling of the result. ...
Application-Support Particle Filter for Dynamic Voltage Scaling of Multimedia Applications
Dynamic Voltage and Frequency Scaling (DVFS) is an effective low-power technique for real-time workloads. Its effectiveness critically depends on the accurate prediction of the task execution time. Many DVFS approaches have been proposed, but they are ...
Approximating Congestion + Dilation in Networks via "Quality of Routing” Games
A classic optimization problem in network routing is to minimize C+D, where C is the maximum edge congestion and D is the maximum path length (also known as dilation). The problem of computing the optimal C^{\ast}+D^{\ast} is NP-complete even when ...
Consistent Updates for Packet Classifiers
We present a methodology for constructing a consistent sequence of updates to be applied incrementally to packet classifiers when the updates arrive in a cluster, where consistency is with respect to the next hop/action returned from a packet forwarding ...
Progressive Congestion Management Based on Packet Marking and Validation Techniques
Congestion management in multistage interconnection networks is a serious problem, which is not solved completely. In order to avoid the degradation of network performance when congestion appears, several congestion management mechanisms have been ...
Real-Time Scheduling of Concurrent Transactions in Multidomain Ring Buses
We address the problem of scheduling concurrent periodic real-time transactions on Multidomain Ring Bus (MDRB). The problem is challenging because although the bus allows multiple nonoverlapping transactions to be executed concurrently, the degree of ...
Scheduling Periodic Continuous Queries in Real-Time Data Broadcast Environments
On-demand broadcast is a promising data dissemination approach in mobile computing environments thanks to its adaptability and scalability for large-scale and dynamic workload. An important class of emerging data broadcast applications needs to monitor ...
A Study of Optimal 4-Bit Reversible Toffoli Circuits and Their Synthesis
Optimal synthesis of reversible functions is a nontrivial problem. One of the major limiting factors in computing such circuits is the sheer number of reversible functions. Even restricting synthesis to 4-bit reversible functions results in a huge ...
Efficient Mapping of Task Graphs onto Reconfigurable Hardware Using Architectural Variants
High-performance reconfigurable computing involves acceleration of significant portions of an application using reconfigurable hardware. Mapping application task graphs onto reconfigurable hardware is, therefore, of rising attention. In this work, we ...