4266 search results - page 590 / 854 » A Framework for Defining Logics |
159
click to vote
ADC
2004
Springer
16 years 4 days ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
158
click to vote
AMAI
2004
Springer
16 years 4 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
163
click to vote
ISMIR
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listenerâ...
172
click to vote
PDP
2003
IEEE
16 years 8 hour ago
2003
IEEE
Abstract. In this work an architecture of an automatically tuned linear algebra library proposed in previous works is extended in order to adapt it to platforms where both the CPU ...
190
click to vote
SCAM
2003
IEEE
16 years 7 hour ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...