5604 search results - page 618 / 1121 » Becoming Increasingly Reliable |
197
Voted
LCN
2006
IEEE
16 years 1 months ago
2006
IEEE
The popularity of distributed interactive applications has exploded in the last few years. For example, massive multi-player online games have become a fast growing, multi-million...
199
Voted
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
217
click to vote
ML
2006
ACM
16 years 1 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
199
Voted
HICSS
2005
IEEE
16 years 27 days ago
2005
IEEE
Robert Thomas has shown, using simulations of experimental results, that the power flow on any line in an electric network is linearly proportional to the total system load when t...
206
click to vote
ICRA
2005
IEEE
16 years 26 days ago
2005
IEEE
— Recently, the acquisition of three-dimensional maps has become more and more popular. This is motivated by the fact that robots act in the three-dimensional world and several t...