929 search results - page 27 / 186 » Execution architectures for program algebra |
113
Voted
JUCS
2007
15 years 2 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
129
Voted
CLUSTER
2007
IEEE
15 years 9 months ago
2007
IEEE
— SuperMatrix out-of-order scheduling leverages el abstractions and straightforward data dependency analysis to provide a general-purpose mechanism for obtaining parallelism from...
171
Voted
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
126
Voted
CIDR
2009
15 years 3 months ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
111
Voted
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...