Sciweavers

12438 search results - page 86 / 2488
» The Magic of a Number System
Sort
View
130
Voted
EWSA
2004
Springer
15 years 9 months ago
Experiences Using Viewpoints for Information Systems Architecture: An Industrial Experience Report
There has recently been an increase in interest, among information systems architecture practitioners, in using viewpoints for architectural definition and description. This has be...
Eoin Woods
119
Voted
GECCO
2007
Springer
174views Optimization» more  GECCO 2007»
15 years 7 months ago
Classifier systems that compute action mappings
The learning in a niche based learning classifier system depends both on the complexity of the problem space and on the number of available actions. In this paper, we introduce a ...
Pier Luca Lanzi, Daniele Loiacono
142
Voted
VLSID
2002
IEEE
138views VLSI» more  VLSID 2002»
16 years 4 months ago
A Framework for Design Space Exploration of Parameterized VLSI Systems
The paper presents two new approaches to multiobjective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determin...
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi
116
Voted
FORMATS
2004
Springer
15 years 9 months ago
Symbolic Model Checking for Simply-Timed Systems
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
Nicolas Markey, Ph. Schnoebelen
135
Voted
ISCAS
2003
IEEE
139views Hardware» more  ISCAS 2003»
15 years 9 months ago
A subspace method for channel estimation of multi-user multi-antenna OFDM system
A subspace based blind method is proposed for estimating the channel responses of a multi-user and multi-antenna OFDM uplink system. It gives estimations to all channel responses,...
Yonghong Zeng, Tung-Sang Ng