840 search results - page 40 / 168 » Open multi-methods for c |
SIGADA
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
107
click to vote
IPL
2000
15 years 1 months ago
2000
We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an e...
102
click to vote
AEI
2010
15 years 1 months ago
2010
The Ikaros project started in 2001 with the aim of developing an open infrastructure for system-level brain modeling. The system has developed into a general tool for cognitive mo...
PC
2007
15 years 1 months ago
2007
: Large scale grids for in silico drug discovery open opportunities of particular interest to neglected and emerging diseases. In 2005 and 2006, we have been able to deploy large s...
104
click to vote
COORDINATION
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...