10568 search results - page 773 / 2114 » Computer Intelligence and Formalization |
205
click to vote
FMCO
2006
Springer
15 years 11 months ago
2006
Springer
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
241
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
219
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...
190
click to vote
AFRIGRAPH
2001
ACM
15 years 11 months ago
2001
ACM
We present independent method to reduce the number of shadow ray tests. It can be used with standard acceleration ray tracing algorithms. Our method is conservative and produces t...
194
click to vote
SAS
1991
Springer
15 years 11 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...