3404 search results - page 233 / 681 » C Programming Tutorial |
94
Voted
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
64
Voted
PDP
2010
IEEE
15 years 5 months ago
2010
IEEE
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...
87
Voted
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
77
Voted
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance. Because copying garbage collectors ...
93
Voted
FOCS
2002
IEEE
15 years 3 months ago
2002
IEEE
Two decades ago, Megiddo and Dyer showed that linear programming in two and three dimensions (and subsequently any constant number of dimensions) can be solved in linear time. In ...