1690 search results - page 159 / 338 » Algorithmic Properties of Millstream Systems |
100
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
137
click to vote
RTCSA
2007
IEEE
15 years 11 months ago
2007
IEEE
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...
145
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— One of the major challenges in both action generation for robotics and in the understanding of human motor control is to learn the “building blocks of movement genera...
144
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Internet traffic is bursty and network servers are often overloaded with surprising events or abnormal client request patterns. This paper studies scheduling algorithms for in...
157
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— Numerous proposals exist for load balancing in peer-to-peer (p2p) networks. Some focus on namespace balancing, making the distance between nodes as uniform as possible. This te...