535 search results - page 42 / 107 » Do we need dependent types |
124
Voted
IWAN
1999
Springer
15 years 8 months ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
158
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Speculative parallelization can provide significant sources of additional thread-level parallelism, especially for irregular applications that are hard to parallelize by conventio...
127
Voted
E4MAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Whenever a multiagent system is designed, many dependencies in the system are identified and must be solved in a correct way. Coordination deals with the management of s...
121
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
We examine the behavioral patterns of email usage in a large-scale enterprise over a three-month period. In particular, we focus on two main questions: (Q1) what do replies depend...
127
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Machine learning has become a valuable tool for detecting and preventing malicious activity. However, as more applications employ machine learning techniques in adversarial decisi...