Sciweavers

1147 search results - page 185 / 230
» Termination in language-based systems
Sort
View
DFMA
2005
IEEE
151views Multimedia» more  DFMA 2005»
15 years 11 months ago
MUMOC: An Active Infrastructure for Open Video Caching
Advances in networking and content delivery systems are enabling new challenging provisioning scenarios where a growing number of users access Video on Demand (VoD), possibly whil...
Paolo Bellavista, Antonio Corradi, Luca Foschini
ISCAS
2005
IEEE
95views Hardware» more  ISCAS 2005»
15 years 11 months ago
Area, power, and pin efficient bus transceiver using multi-bit-differential signaling
—This paper describes a new low-power, area and pin efficient alternative to differential encoding for high performance chip-to-chip and backplane signaling. The technique, calle...
Donald M. Chiarulli, Jason D. Bakos, Joel R. Marti...
RTSS
2005
IEEE
15 years 11 months ago
Voltage Scaling Scheduling for Periodic Real-Time Tasks in Reward Maximization
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...
Jian-Jia Chen, Tei-Wei Kuo
SEFM
2005
IEEE
15 years 11 months ago
On Compatibility and Behavioural Substitutability of Component Protocols
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
Nabil Hameurlain
AMOST
2005
ACM
15 years 11 months ago
Test prioritization for pairwise interaction coverage
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
Renée C. Bryce, Charles J. Colbourn