×

Found 44 Documents (Results 1–44)

Randomized consensus in expected \(O(n \log n)\) individual work. (English) Zbl 1301.68260

Proceedings of the 27th annual ACM symposium on principles of distributed computing, PODC ’08, Toronto, Canada, August 18–21, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-989-0). 325-334 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Lower bounds for randomized consensus under a weak adversary. (English) Zbl 1301.68140

Proceedings of the 27th annual ACM symposium on principles of distributed computing, PODC ’08, Toronto, Canada, August 18–21, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-989-0). 315-324 (2008).
PDFBibTeX XMLCite
Full Text: DOI Link

Branching bisimulation congruence for probabilistic systems. (English) Zbl 1286.68356

Aldini, Alessandro (ed.) et al., Proceedings of the 6th workshop on quantitative aspects of programming languages (QAPL 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 3, 129-143 (2008).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic abstract interpretation of imperative programs using truncated normal distributions. (English) Zbl 1286.68094

Aldini, Alessandro (ed.) et al., Proceedings of the 6th workshop on quantitative aspects of programming languages (QAPL 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 3, 43-59 (2008).
MSC:  68N30 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Relational analysis and precision via probabilistic abstract interpretation. (English) Zbl 1286.68034

Aldini, Alessandro (ed.) et al., Proceedings of the 6th workshop on quantitative aspects of programming languages (QAPL 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 3, 23-42 (2008).
MSC:  68N15 68N30 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Game-based probabilistic predicate abstraction in PRISM. (English) Zbl 1286.68316

Aldini, Alessandro (ed.) et al., Proceedings of the 6th workshop on quantitative aspects of programming languages (QAPL 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 3, 5-21 (2008).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

A correct abstract machine for the stochastic bioambient calculus. (English) Zbl 1221.68166

Ciobanu, Gabriel (ed.), MeCBIC 2008. 2nd international meeting on membrane computing and biologically inspired process calculi. Papers based on the presentations at the meeting, Iaşi, Romania, September 3–4, 2008. Iaşi: Universitatea “AI.I.Cuza”, Seminarul Matematic “A. Myller”. 159-173 (2008).
MSC:  68Q85 68Q10 68Q87
PDFBibTeX XMLCite

Reachability in continuous-time Markov reward decision processes. (English) Zbl 1222.68120

Flum, Jörg (ed.) et al., Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-576-6/pbk). Texts in Logic and Games 2, 53-71 (2008).
PDFBibTeX XMLCite

Quantum differential evolution algorithm for variable ordering problem of binary decision diagram. (English) Zbl 1188.68140

Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 942-945 (2008).
MSC:  68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI

Engineering stochastic local search algorithms: A case study in estimation-based local search for the probabilistic travelling salesman problem. (English) Zbl 1159.90467

Cotta, Carlos (ed.) et al., Recent advances in evolutionary computation for combinatorial optimization. Most papers are extended versions of selected papers from the 7th conference on evolutionary computation and metaheuristics in combinatorial optimization (EvoCOP’2007), Valencia, Spain, April 11–13, 2007. Berlin: Springer (ISBN 978-3-540-70806-3/hbk). Studies in Computational Intelligence 153, 53-66 (2008).
MSC:  90C15 90C35
PDFBibTeX XMLCite
Full Text: DOI

Asymptotic behaviour of the first and second moments for the number of steps in the Euclidean algorithm. (English. Russian original) Zbl 1211.11009

Izv. Math. 72, No. 5, 1023-1059 (2008); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 72, No. 5, 189-224 (2008).
MSC:  11A55 11K65 11N37
PDFBibTeX XMLCite
Full Text: DOI

Computing endomorphism rings of Jacobians of genus 2 curves over finite fields. (English) Zbl 1151.14314

Chaumine, Jean (ed.) et al., Algebraic geometry and its applications. Dedicated to Gilles Lachaud on his 60th birthday. Proceedings of the first SAGA conference, Papeete, France, May 7–11, 2007. Hackensack, NJ: World Scientific (ISBN 978-981-279-342-3/hbk). Series on Number Theory and Its Applications 5, 29-66 (2008).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Gene assembly algorithms for ciliates. (English) Zbl 1132.68395

Mao, Chengde (ed.) et al., DNA computing. 12th international meeting on DNA computing, DNA12, Seoul, Korea, June 5–9, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-49024-1/pbk). Lecture Notes in Computer Science 4287, 71-82 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

all top 3

Software