2362 search results - page 380 / 473 » Programming in Standard ML |
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Detailed diagnostic data is a prerequisite for debugging problems and understanding runtime performance in distributed wireless embedded systems. Severe bandwidth limitat...
SIGGRAPH
1999
ACM
15 years 2 months ago
1999
ACM
We present a sketching interface for quickly and easily designing freeform models such as stuffed animals and other rotund objects. The user draws several 2D freeform strokes inte...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
ECOOPW
1999
Springer
15 years 2 months ago
1999
Springer
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...
LICS
1999
IEEE
15 years 2 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...