2335 search results - page 437 / 467 » Type Checking Type Classes |
148
click to vote
SIGECOM
2006
ACM
15 years 12 months ago
2006
ACM
Graphical games have been proposed as a game-theoretic model of large-scale distributed networks of non-cooperative agents. When the number of players is large, and the underlying...
163
click to vote
DSN
2005
IEEE
15 years 11 months ago
2005
IEEE
Distributed systems with multiple interacting services, such as distributed e-commerce systems, are suitable targets for malicious attacks because of the potential financial impac...
154
click to vote
FOCS
2005
IEEE
15 years 11 months ago
2005
IEEE
We consider the problem of embedding finite metrics with slack: we seek to produce embeddings with small dimension and distortion while allowing a (small) constant fraction of al...
187
click to vote
MICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
Predicated execution has been used to reduce the number of branch mispredictions by eliminating hard-to-predict branches. However, the additional instruction overhead and addition...
130
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...