Sciweavers

8086 search results - page 408 / 1618
» On the Implementation of Dynamic Patterns
Sort
View
ISPAN
2005
IEEE
16 years 1 months ago
Dynamic Estimation of Task Level Parallelism with Operating System Support
The amount of Task Level Parallelism (TLP) in runtime workload is useful information to determine the efficient usage of multiprocessors. This paper presents mechanisms to dynami...
Luong Dinh Hung, Shuichi Sakai
WCRE
2005
IEEE
16 years 1 months ago
Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...
S. Alexander Spoon, Olin Shivers
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 1 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ICANN
2005
Springer
16 years 1 months ago
A Model for Hierarchical Associative Memories via Dynamically Coupled GBSB Neural Networks
Many approaches have emerged in the attempt to explain the memory process. One of which is the Theory of Neuronal Group Selection (TNGS), proposed by Edelman [1]. In the present wo...
Rogério M. Gomes, Antônio de Pá...
WABI
2005
Springer
16 years 1 months ago
Improved Maintenance of Molecular Surfaces Using Dynamic Graph Connectivity
We present recent developments in efficiently maintaining the boundary and surface area of protein molecules as they undergo conformational changes. As the method that we devised k...
Eran Eyal, Dan Halperin