Sciweavers

1698 search results - page 147 / 340
» Growing Complex Games
Sort
View
ICDE
1999
IEEE
143views Database» more  ICDE 1999»
16 years 5 months ago
Query Routing in Large-Scale Digital Library Systems
Modern digital libraries require user-friendly and yet responsive access to the rapidly growing, heterogeneous, and distributed collection of information sources. However, the inc...
Ling Liu
162
Voted
FM
2009
Springer
110views Formal Methods» more  FM 2009»
15 years 10 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
MEMOCODE
2007
IEEE
15 years 10 months ago
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
Stephan Eggersglüß, Görschwin Fey,...
CCGRID
2006
IEEE
15 years 10 months ago
Statistical Data Reduction for Efficient Application Performance Monitoring
There is a growing need for systems that can monitor and analyze application performance data automatically in order to deliver reliable and sustained performance to applications....
Lingyun Yang, Jennifer M. Schopf, Catalin Dumitres...
ECAL
2005
Springer
15 years 9 months ago
Timescale and Stability in Adaptive Behaviour
Recently, in both the neuroscience and adaptive behaviour communities, there has been growing interest in the interplay of multiple timescales within neural systems. In particular,...
Christopher L. Buckley, Seth Bullock, Netta Cohen