Sciweavers

2730 search results - page 266 / 546
» An Abstract Model for Process Mediation
Sort
View
UTP
2010
15 years 4 months ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel
ICNC
2005
Springer
16 years 23 hour ago
A Game-Theoretic Approach to Competitive Learning in Self-Organizing Maps
Abstract. Self-Organizing Maps (SOM) is a powerful tool for clustering and discovering patterns in data. Competitive learning in the SOM training process focusses on finding a neu...
Joseph P. Herbert, Jingtao Yao
AUSAI
2004
Springer
15 years 12 months ago
Designing a Morphogenetic System for Evolvable Hardware
Abstract. Traditional approaches to evolvable hardware (EHW), using a direct encoding, have not scaled well with increases in problem complexity. To overcome this there have been m...
Justin Lee, Joaquin Sitte
EUC
2006
Springer
15 years 10 months ago
Co-optimization of Performance and Power in a Superscalar Processor Design
Abstract. As process technology scales down, power wall starts to hinder improvements in processor performance. Performance optimization has to proceed under a power constraint. Th...
Yongxin Zhu, Weng-Fai Wong, Stefan Andrei
UML
2000
Springer
15 years 10 months ago
Extending OCL to include Actions
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
Anneke Kleppe, Jos Warmer