Sciweavers

1147 search results - page 185 / 230
» Termination in language-based systems
Sort
View
DFMA
2005
IEEE
151views Multimedia» more  DFMA 2005»
14 years 3 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»
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 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