Sciweavers

1346 search results - page 40 / 270
» An Interface Model for Parallel Components
Sort
View
VTS
1999
IEEE
68views Hardware» more  VTS 1999»
14 years 28 days ago
A Test Point Insertion Algorithm for Mixed-Signal Circuits
This paper presents an algorithm based on testability measurement for test point insertion of mixed-signal circuits. Two transfer function models compatible with analog models are...
Jinyan Zhang, Sam D. Huynh, Mani Soma
DFMA
2005
IEEE
120views Multimedia» more  DFMA 2005»
14 years 2 months ago
Modelling, Analysis and Parallel Implementation of an On-line Video Encoder
Video encoding is a fundamental component of a wide range of real-time multimedia applications. In this paper we present the fine grain MPEG-4 parallelism and describe a modellin...
Ismail Assayad, Philippe Gerner, Sergio Yovine, Va...
ICDCSW
2007
IEEE
14 years 3 months ago
The WUI-Toolkit: A Model-Driven UI Development Framework for Wearable User Interfaces
We introduce the “WUI-Toolkit” as a framework to support and ease the development of wearable user interfaces (WUIs). The toolkit presents a first step towards a model-driven...
Hendrik Witt, Tom Nicolai, Holger Kenn
FORMATS
2007
Springer
14 years 16 days ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
CBSE
2004
Springer
14 years 2 months ago
Extra-Functional Contract Support in Components
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
Olivier Defour, Jean-Marc Jézéquel, ...