6192 search results - page 1045 / 1239 » Structure benefits all |
209
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
211
click to vote
SPAA
2009
ACM
16 years 4 months ago
2009
ACM
A K-smoothing network is a distributed, low-contention data structure where tokens arrive arbitrarily on w input wires and reach w output wires via their completely asynchronous p...
192
click to vote
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...
241
click to vote
PLPV
2010
ACM
16 years 4 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
294
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Vision-based road detection is important in different areas of
computer vision such as autonomous driving, car collision warning
and pedestrian crossing detection. However, curre...