Sciweavers

1205 search results - page 36 / 241
» From high-level component-based models to distributed implem...
Sort
View
FPL
2001
Springer
88views Hardware» more  FPL 2001»
14 years 4 days ago
FPGA-Based Discrete Wavelet Transforms System
Although FPGA technology offers the potential of designing high performance systems at low cost, its programming model is prohibitively low level. To allow a novice signal/image pr...
Mokhtar Nibouche, Ahmed Bouridane, Fionn Murtagh, ...
FM
2008
Springer
171views Formal Methods» more  FM 2008»
13 years 9 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
INTERSPEECH
2010
13 years 2 months ago
On generating combilex pronunciations via morphological analysis
Combilex is a high quality lexicon that has been developed specifically for speech technology purposes and recently released by CSTR. Combilex benefits from many advanced features...
Korin Richmond, Robert A. J. Clark, Susan Fitt
VRST
2000
ACM
13 years 12 months ago
Interactive 3D modeling using only one image
For virtual reality systems, modeling of 3D objects and scenes is important and challenging. In this paper, we present an image-based interactive 3D modeling framework consisting ...
Sujin Liu, Zhiyong Huang
ETFA
2006
IEEE
14 years 1 months ago
Cost-based Deployment Planning for Components in Smart Item Environments
Middleware for smart items can facilitate the coordinated execution of distributed components for early data processing. These components can be deployed to different nodes in the...
Jürgen Anke, Klaus Kabitzsch