Sciweavers

2271 search results - page 312 / 455
» Scalable Software Libraries
Sort
View
141
Voted
CCGRID
2001
IEEE
15 years 7 months ago
Performance Evaluation of an Agent-Based Resource Management Infrastructure for Grid Computing
Resource management is an important infrastructure in the grid computing environment. Scalability and adaptability are two key challenges in the implementation of such complex sof...
Junwei Cao, Darren J. Kerbyson, Graham R. Nudd
122
Voted
COORDINATION
2010
Springer
15 years 7 months ago
Compositional Construction of Real-Time Dataflow Networks
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
Stephanie Kemper
116
Voted
AIIDE
2008
15 years 6 months ago
OpenNERO: A Game Platform for AI Research and Education
OpenNERO is an open source game platform designed for game AI research. The software package combines features commonly available in modern game engines (such as 3D graphics, phys...
Igor Karpov, John Sheblak, Risto Miikkulainen
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 5 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
143
Voted
DAGSTUHL
2007
15 years 5 months ago
A Case for Deconstructing Hardware Transactional Memory Systems
Major hardware and software vendors are curious about transactional memory (TM), but are understandably cautious about committing to hardware changes. Our thesis is that deconstru...
Mark D. Hill, Derek Hower, Kevin E. Moore, Michael...