Sciweavers

1901 search results - page 298 / 381
» Predicting Program Properties from
Sort
View
ILP
2003
Springer
15 years 5 months ago
ILP for Mathematical Discovery
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
Simon Colton, Stephen Muggleton
105
Voted
EUROMICRO
1998
IEEE
15 years 4 months ago
Data Speculative Multithreaded Architecture
In this paper we present a novel processor microarchitecture that relieves three of the most important bottlenecks of superscalar processors: the serialization imposed by true dep...
Pedro Marcuello, Antonio González
VLDB
1998
ACM
102views Database» more  VLDB 1998»
15 years 4 months ago
A Database System for Real-Time Event Aggregation in Telecommunication
Telecommunication networks process verylarge numbers of events in real time. In this environment, database applications demand both high throughput (at reasonable costs), and pred...
Jerry Baulier, Stephen Blott, Henry F. Korth, Abra...
SPAA
1990
ACM
15 years 4 months ago
Analysis of Multithreaded Architectures for Parallel Computing
Multithreading has been proposed as an architectural strategy for tolerating latency in multiprocessors and, through limited empirical studies, shown to offer promise. This paper ...
Rafael H. Saavedra-Barrera, David E. Culler, Thors...
AIPRF
2007
15 years 2 months ago
A New GP-evolved Formulation for the Relative Permittivity of Water and Steam
The relative permittivity (or static dielectric constant) of water and steam has been experimentally calculated at a relatively wide range of temperatures and pressures. A single ...
Sergey V. Fogelson, Walter D. Potter