Sciweavers

3536 search results - page 138 / 708
» Local dependent components
Sort
View
IWPC
2009
IEEE
14 years 4 months ago
Variable granularity for improving precision of impact analysis
Impact analysis is a specialized process of program comprehension that investigates the nature and extent of a planned software change. Traditionally, impact analysis inspects dep...
Maksym Petrenko, Václav Rajlich
ECOOP
2008
Springer
13 years 10 months ago
Regional Logic for Local Reasoning about Global Invariants
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
Anindya Banerjee, David A. Naumann, Stan Rosenberg
CORR
2008
Springer
98views Education» more  CORR 2008»
13 years 9 months ago
Local Information Based Algorithms for Packet Transport in Complex Networks
Abstract. We introduce four algorithms for packet transport in complex networks. These algorithms use deterministic rules which depend, in different ways, on the degree of the node...
Bernard Kujawski, G. J. Rodgers, Bosiljka Tadic
IJON
2002
78views more  IJON 2002»
13 years 9 months ago
External termination of recurrent bursting in a model of connected local neural sub-networks
Epileptic seizures are characterized by repetitive synchronous neuronal bursting activity. To study external influences on this activity, a simple model of a chain loop of neurona...
Pawel Kudela, Piotr J. Franaszczuk, Gregory K. Ber...
AROBOTS
1999
110views more  AROBOTS 1999»
13 years 9 months ago
Self-Localization of Autonomous Robots by Hidden Representations
We present a framework for constructing representations of space in an autonomous agent which does not obtain any direct information about its location. Instead the algorithm relie...
J. Michael Herrmann, Klaus Pawelzik, Theo Geisel