4666 search results - page 700 / 934 » Equations on Timed Languages |
150
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
This work shows a modular architecture based on FPGA's to solve the eigenvalue problem according to the Jacobi method. This method is able to solve the eigenvalues and eigenv...
153
click to vote
AICCSA
2001
IEEE
15 years 8 months ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
155
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
131
click to vote
SAS
1997
Springer
15 years 8 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
181
Voted
PEPM
1995
ACM
15 years 8 months ago
1995
ACM
This paper concerns a method for approximating the possible “shapes” that heap-allocated structures in a program can take on. We present a new approach to finding solutions t...