15253 search results - page 2434 / 3051 » Integer-Programming Software Systems |
189
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
178
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
168
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
This paper introduces the One-Click Grid resource, which allows any computer with a Java enabled web browser to safely provide resources to Grid without any software installation. ...
216
click to vote
IBPRIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
220
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...