Sciweavers

6836 search results - page 277 / 1368
» Modelling Web-Oriented Architectures
Sort
View
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 4 months ago
Using ATL to define advanced and flexible constraint model transformations
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
Raphaël Chenouard, Laurent Granvilliers, Rica...
SPIN
2007
Springer
15 years 10 months ago
Scalable Multi-core LTL Model-Checking
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
ESANN
2008
15 years 6 months ago
Word recognition and incremental learning based on neural associative memories and hidden Markov models
Abstract. An architecture for achieving word recognition and incremental learning of new words in a language processing system is presented. The architecture is based on neural ass...
Zöhre Kara Kayikci, Günther Palm
CORR
2006
Springer
147views Education» more  CORR 2006»
15 years 4 months ago
Models simulation and interoperability using MDA and HLA
: In the manufacturing context, there have been numerous efforts to use modeling and simulation tools and techniques to improve manufacturing efficiency over the last four decades....
Hind El Haouzi
124
Voted
DAC
1994
ACM
15 years 8 months ago
Statistical Delay Modeling in Logic Design and Synthesis
Manufacturing disturbances are inevitable in the fabrication of integrated circuits. These disturbances will result in variations in the delay speci cations of manufactured circui...
Horng-Fei Jyu, Sharad Malik