2343 search results - page 426 / 469 » Structure and Interpretation of Computer Programs |
122
click to vote
ASAP
2010
IEEE
15 years 4 months ago
2010
IEEE
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
112
Voted
ALENEX
2007
15 years 4 months ago
2007
We present a novel randomized approach to the graph isomorphism problem. Our algorithm aims at solving difficult instances by producing randomized certificates for non-isomorphis...
128
click to vote
IPCO
2008
15 years 4 months ago
2008
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...
122
click to vote
MKWI
2008
15 years 4 months ago
2008
: Today, electronic cross-company collaboration is about to gain significant momentum, but still shows weaknesses with respect to productivity, flexibility and quality: A lack of s...
122
Voted
FLAIRS
2006
15 years 4 months ago
2006
We propose a real time single item auction based task allocation method for the multi-robot exploration problem and investigate new bid evaluation strategies in this domain. In th...