4757 search results - page 712 / 952 » Monads for Functional Programming |
180
click to vote
PC
2000
15 years 4 months ago
2000
Dynamic Load Balancing is an important system function destined to distribute workload among available processors to improve throughput and/or execution times of parallel computer...
137
click to vote
JAR
2002
15 years 4 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
119
click to vote
MMS
2002
15 years 4 months ago
2002
This paper offers a high-level retrospective overview of the GOPI middleware platform which is the outcome of a three year project aimed at the development of generic, configurabl...
137
Voted
VLC
2002
15 years 4 months ago
2002
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
147
click to vote
VLC
2002
15 years 4 months ago
2002
Graph layout algorithms typically conform to one or more aesthetic criteria (e.g. minimising the number of bends, maximising orthogonality). Determining the extent to which a grap...