1675 search results - page 106 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
141
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: In the area of protein structure prediction, recently a lot of effort has gone into the development of Model Quality Assessment Programs (MQAPs). MQAPs distinguish hig...
114
Voted
WSC
2000
15 years 5 months ago
2000
This paper discusses a Web-based simulation manager program that executes an Application Service Provider (ASP) event for a customer who does not possess the inhouse capability to...
166
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
140
Voted
ESAW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The deployment of agent societies —as complex systems— in dynamic and unpredictable settings brings forth critical issues concerning their design. Organizational mode...
135
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...