2611 search results - page 403 / 523 » A Logic for Concepts and Similarity |
166
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
175
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
175
click to vote
ICPADS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the study and results of running several core multimedia applications on a simultaneous multithreading (SMT) architecture, including some detailed analysis ran...
166
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
Memory dependence prediction allows out-of-order issue processors to achieve high degrees of instruction level parallelism by issuing load instructions at the earliest time withou...
194
click to vote
MSE
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the study of running several core multimedia applications on a simultaneous multithreading (SMT) architecture and derives design principles for multimedia soft...