7988 search results - page 1386 / 1598 » A Useful Undecidable Theory |
161
click to vote
SPAA
2005
ACM
15 years 10 months ago
2005
ACM
Switching cells in parallel is a common approach to build switches with very high external line rate and a large number of ports. A prime example is the parallel packet switch (in...
150
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
132
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
137
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
Despite the recent advances in search quality, the fast increase in the size of the Web collection has introduced new challenges for Web ranking algorithms. In fact, there are sti...
156
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...