10899 search results - page 705 / 2180 » The GP Programming System |
213
click to vote
TODS
2012
13 years 10 months ago
2012
B-trees have been ubiquitous in database management systems for several decades, and they serve in many other storage systems as well. Their basic structure and their basic operat...
260
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
MapReduce is a programming model and an associated implementation for processing and generating large data sets. Users specify a map function that processes a key/value pair to ge...
189
click to vote
ICFP
2001
ACM
16 years 7 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
181
click to vote
HIPEAC
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. The shared-cache contention on Chip Multiprocessors causes performance degradation to applications and hurts system fairness. Many previously proposed solutions schedule ...
185
click to vote
KBSE
2003
IEEE
16 years 22 days ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...