Sciweavers

1346 search results - page 40 / 270
» An Interface Model for Parallel Components
Sort
View
133
Voted
VTS
1999
IEEE
68views Hardware» more  VTS 1999»
15 years 9 months 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
136
Voted
DFMA
2005
IEEE
120views Multimedia» more  DFMA 2005»
15 years 10 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
15 years 11 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
15 years 8 months 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
150
Voted
CBSE
2004
Springer
15 years 10 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, ...