3454 search results - page 128 / 691 » Modern computer algebra |
167
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
333
click to vote
Lecture Notes
This is a series of laboratory exercises designed for use in data communication, computer networking and telecommunication courses. These labs enable students to experiment with va...
174
click to vote
SIGOPSE
2004
ACM
15 years 11 months ago
2004
ACM
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...
174
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In recent years, a number of authors have successfully extended particle swarm optimization to problem domains with multiple objectives. This paper addresses the issue of...
152
click to vote
IGPL
2007
15 years 6 months ago
2007
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...