Sciweavers

4798 search results - page 284 / 960
» Time for a change
Sort
View
ICSM
2005
IEEE
16 years 9 days ago
Towards a Framework for Testing Structural Source-Code Regularities
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
Kim Mens, Andy Kellens
ECAL
2005
Springer
16 years 8 days ago
Analysing the Evolvability of Neural Network Agents Through Structural Mutations
This paper investigates evolvability of artificial neural networks within an artificial life environment. Five different structural mutations are investigated, including adaptive e...
Ehud Schlessinger, Peter J. Bentley, R. Beau Lotto
ENTCS
2008
120views more  ENTCS 2008»
15 years 6 months ago
Separation Logic Semantics for Communicating Processes
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
Tony Hoare, Peter W. O'Hearn
ICASSP
2009
IEEE
15 years 4 months ago
Fast mean square convergence of consensus algorithms in WSNs with random topologies
The average consensus in wireless sensor networks is achieved under assumptions of symmetric or balanced topology at every time instant. However, communication and/or node failure...
Silvana Silva Pereira, Alba Pagès-Zamora
WEA
2007
Springer
104views Algorithms» more  WEA 2007»
16 years 25 days ago
Dynamic Trees in Practice
Dynamic tree data structures maintain forests that change over time through edge insertions and deletions. Besides maintaining connectivity information in logarithmic time, they ca...
Robert Endre Tarjan, Renato Fonseca F. Werneck