Sciweavers

396 search results - page 56 / 80
» An Evolvable Hardware Tutorial
Sort
View
ALIFE
2006
13 years 10 months ago
Neurocontroller Analysis via Evolutionary Network Minimization
This study presents a new evolutionary network minimization (ENM) algorithm. Neurocontroller minimization is beneficial for finding small parsimonious networks that permit a better...
Zohar Ganon, Alon Keinan, Eytan Ruppin
DSS
2007
65views more  DSS 2007»
13 years 10 months ago
Using Web Services for supporting the users of wireless devices
The Web Service paradigm is currently considered as the most promising and rapidly evolving technology for developing applications in open, distributed and heterogeneous environme...
Thomi Pilioura, Stathes Hadjiefthymiades, Aphrodit...
AC
2005
Springer
13 years 9 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
JILP
2002
83views more  JILP 2002»
13 years 9 months ago
Using Statistical and Symbolic Simulation for Microprocessor Performance Evaluation
As microprocessor designs continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models...
Mark Oskin, Frederic T. Chong, Matthew K. Farrens
JSAC
2010
77views more  JSAC 2010»
13 years 8 months ago
MMS: An autonomic network-layer foundation for network management
Abstract—Networks cannot be managed without communication among geographically distributed network devices and control agents. Unfortunately, computer networks today lack an auto...
Hemant Gogineni, Albert G. Greenberg, David A. Mal...