10585 search results - page 1967 / 2117 » The Orc Programming Language |
90
Voted
ISMIR
2004
Springer
15 years 6 months ago
2004
Springer
The software sound synthesis is closely related to the Music N programs started with Music I in 1957. Although Music N has many advantages such as unit generators and a flexible ...
126
Voted
ISSAC
2004
Springer
15 years 6 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
KI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
110
click to vote
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
118
click to vote
SIGADA
2004
Springer
15 years 6 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...