Sciweavers

5189 search results - page 139 / 1038
» Modeling architectural patterns using architectural primitiv...
Sort
View
94
Voted
ENTCS
2006
96views more  ENTCS 2006»
15 years 18 days ago
Verification of AMBA Using a Combination of Model Checking and Theorem Proving
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...
Hasan Amjad
100
Voted
AGI
2008
15 years 2 months ago
Artificial General Intelligence through Large-Scale, Multimodal Bayesian Learning
Abstract. An artificial system that achieves human-level performance on opendomain tasks must have a huge amount of knowledge about the world. We argue that the most feasible way t...
Brian Milch
130
Voted
NN
2010
Springer
225views Neural Networks» more  NN 2010»
14 years 11 months ago
Learning to imitate stochastic time series in a compositional way by chaos
This study shows that a mixture of RNN experts model can acquire the ability to generate sequences that are combination of multiple primitive patterns by means of self-organizing ...
Jun Namikawa, Jun Tani
PATMOS
2000
Springer
15 years 4 months ago
Data-Reuse and Parallel Embedded Architectures for Low-Power, Real-Time Multimedia Applications
Exploitation of data re-use in combination with the use of custom memory hierarchy that exploits the temporal locality of data accesses may introduce significant power savings, esp...
Dimitrios Soudris, Nikolaos D. Zervas, Antonios Ar...
94
Voted
ECOOP
1995
Springer
15 years 4 months ago
Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
Douglas C. Schmidt, Paul Stephenson