Sciweavers

87 search results - page 5 / 18
» Phase Transitions in Group Testing
Sort
View
CORR
2010
Springer
140views Education» more  CORR 2010»
14 years 8 months ago
Scheduling Multi-Mode Real-Time Systems upon Uniform Multiprocessor Platforms
In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together wit...
Patrick Meumeu Yomsi, Vincent Nélis, Jo&eum...
CP
2003
Springer
15 years 2 months ago
Redundant Modeling for the QuasiGroup Completion Problem
Abstract. The Quasigroup Completion Problem (QCP) is a very challenging benchmark among combinatorial problems, and the focus of much recent interest in the area of constraint prog...
Iván Dotú, Alvaro del Val, Manuel Ce...
AOSD
2008
ACM
14 years 11 months ago
AspectT: aspect-oriented test case instantiation
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
Sebastian Benz
DATE
1999
IEEE
147views Hardware» more  DATE 1999»
15 years 1 months ago
Efficient BIST Hardware Insertion with Low Test Application Time for Synthesized Data Paths
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
Nicola Nicolici, Bashir M. Al-Hashimi
APPROX
2005
Springer
94views Algorithms» more  APPROX 2005»
15 years 3 months ago
Testing Periodicity
A string α ∈ Σn is called p-periodic, if for every i, j ∈ {1, . . . , n}, such that i ≡ j mod p, αi = αj, where αi is the i-th place of α. A string α ∈ Σn is said t...
Oded Lachish, Ilan Newman