4880 search results - page 581 / 976 » Manuals as Structured Programs |
186
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Selecting the highest quality 3D model of a protein structure from a number of alternatives remains an important challenge in the field of structural bioinformatics. M...
188
click to vote
TOG
2002
15 years 6 months ago
2002
Rendering performance of consumer graphics hardware benefits from pre-processing geometric data into a form targeted to the underlying API and hardware. The various elements of ge...
315
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
188
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
291
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...