1925 search results - page 332 / 385 » Theory research at Google |
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
110
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
It has been an important research topic since 1992 to maximize stability region in constrained queueing systems, which includes the study of scheduling over wireless ad hoc networ...
104
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
In order to better understand human and animal mobility and its potential effects on Mobile Ad-Hoc networks and Delay-Tolerant Networks, many researchers have conducted experiment...
101
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Because of cost and resource constraints, sensor nodes do not have a complicated hardware architecture or operating system to protect program safety. Hence, the notorious buffer-o...
103
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Recent research shows that significant energy saving can be achieved in wireless sensor networks with a mobile base station that collects data from sensor nodes via short-range co...