Sciweavers

1660 search results - page 193 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
NJC
2002
109views more  NJC 2002»
14 years 9 months ago
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...
WICOMM
2008
116views more  WICOMM 2008»
14 years 10 months ago
Arrayed MC-CDMA reception in space-time diffused multipath vector channels
Multi-Carrier Code Division Multiple Access (MC-CDMA) is a modulation scheme that combines the advantages of OFDM and CDMA to provide robustness against frequency selectivity in w...
Farrukh Rashid, Athanassios Manikas
ICCD
2004
IEEE
113views Hardware» more  ICCD 2004»
15 years 7 months ago
End-to-End Testability Analysis and DfT Insertion for Mixed-Signal Paths
Increasing system complexity and test cost demands new system-level solutions for mixed-signal systems. In this paper, we present a testability analysis and DfT insertion methodol...
Sule Ozev, Alex Orailoglu
MODELS
2010
Springer
14 years 8 months ago
transML: A Family of Languages to Model Model Transformations
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos,...
ICMCS
2005
IEEE
119views Multimedia» more  ICMCS 2005»
15 years 3 months ago
Polyphonic Audio Key Finding Using the Spiral Array CEG Algorithm
Key finding is an integral step in content-based music indexing and retrieval. In this paper, we present an O(n) real-time algorithm for determining key from polyphonic audio. We ...
Ching-Hua Chuan, Elaine Chew