Sciweavers

2794 search results - page 137 / 559
» A New Architecture for Automated Modelling
Sort
View
DAC
2004
ACM
16 years 15 days ago
Quantum-Dot Cellular Automata (QCA) circuit partitioning: problem modeling and solutions
This paper presents the Quantum-Dot Cellular Automata (QCA) physical design problem, in the context of the VLSI physical design problem. The problem is divided into three subprobl...
Dominic A. Antonelli, Danny Z. Chen, Timothy J. Dy...
PROCEDIA
2010
148views more  PROCEDIA 2010»
14 years 6 months ago
SysCellC: a data-flow programming model on multi-GPU
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
Dominique Houzet, Sylvain Huet, Anis Rahman
FORMATS
2004
Springer
15 years 3 months ago
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
Bruno Dutertre, Maria Sorea
ESANN
2008
15 years 1 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
EPK
2007
155views Management» more  EPK 2007»
15 years 1 months ago
From Process Models to Business Landscapes
: Today, architecture and business processes are modeled separately. The only integration in architectural diagrams is done with Petri nets in the Fundamental Modeling Concept. Sin...
Oliver Kopp, Hanna Eberle, Tobias Unger, Frank Ley...