967 search results - page 104 / 194 » Building a Calculus of Data Structures |
183
Voted
TLDI
2010
ACM
15 years 11 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
231
Voted
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE
Abstract-- Particle simulation has become an important research tool in many scientific and engineering fields. Data generated by such simulations impose great challenges to databa...
149
Voted
ICDM
2010
IEEE
15 years 16 days ago
2010
IEEE
There is an increasingly pressing need, by several applications in diverse domains, for developing techniques able to index and mine very large collections of time series. Examples...
121
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
This paper describes an algorithm that allows Linux to perform multilevel load balancing in NUMA computers. The Linux scheduler implements a load balancing algorithm that uses str...
141
Voted
ICLP
2001
Springer
15 years 7 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...