457 search results - page 85 / 92 » Distributed verification with LoLA |
116
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
143
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
136
Voted
SIGUCCS
2004
ACM
15 years 9 months ago
2004
ACM
Designing computing equipment for a computer laboratory is not easy. In a class in a computer laboratory, it is not unusual that all students do the same thing simultaneously. Tre...
141
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
The available Instruction Level Parallelism in Java bytecode (Java-ILP) is not readily exploitable using traditional in-order or out-of-order issue mechanisms due to dependencies ...
148
Voted
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
This paper addresses the problem of applying powerful pattern recognition algorithms based on kernels to efficient visual tracking. Recently Avidan [1] has shown that object recog...