1054 search results - page 82 / 211 » From a Verified Kernel towards Verified Systems |
134
click to vote
ICCCN
2007
IEEE
16 years 15 days ago
2007
IEEE
—The observed performance by individual peers in BitTorrent can be simply measured by their average download rate. While it is often stated that the observed peer-level performan...
164
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
In this work we present a system for implementing the placement and routing stages in the FPGA cycle of design, into the physical design stage. We start with the ISCAS benchmarks,...
160
click to vote
IROS
2006
IEEE
16 years 6 days ago
2006
IEEE
— Current approaches to the visual homing for mobile robot navigation are generally inspired in insects’ behavior and based on the observed angular information of fixed points...
175
click to vote
LOGCOM
2008
15 years 6 months ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
188
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...