Sciweavers

2312 search results - page 323 / 463
» Invariance in Property Testing
Sort
View
KBSE
2008
IEEE
14 years 4 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
MMSP
2008
IEEE
245views Multimedia» more  MMSP 2008»
14 years 4 months ago
A convex programming approach for color stereo matching
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...
Wided Miled, Béatrice Pesquet-Popescu, Jean...
RTAS
2008
IEEE
14 years 4 months ago
Hybrid-priority Scheduling of Resource-Sharing Sporadic Task Systems
A hybrid scheduling algorithm is proposed, which integrates features of the Fixed Priority (FP) and Earliest Deadline First (EDF) scheduling policies. It is shown that this hybrid...
Sanjoy K. Baruah, Nathan Fisher
BROADNETS
2007
IEEE
14 years 4 months ago
Retransmission in OBS networks with fiber delay lines
— While most transmission schemes in OBS networks relegate retransmission to higher protocol layers, the scheme proposed in this paper reduces retransmission delays by exploiting ...
Kyung Joon Kwak, Edward G. Coffman Jr.
ICC
2007
IEEE
14 years 4 months ago
Measurement and Evaluation of ENUM Server Performance
Abstract—ENUM is a DNS-based protocol standard for mapping E.164 telephone numbers to Internet Uniform Resource Identifiers (URIs). It places unique requirements on the existing...
Charles Shen, Henning Schulzrinne