×

Found 71 Documents (Results 1–71)

A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions. (English) Zbl 1347.68091

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 622-633 (2016).
PDFBibTeX XMLCite
Full Text: DOI Link

Lem: reusable engineering of real-world semantics. (English) Zbl 1346.68123

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 175-188 (2014).
MSC:  68Q60 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI

Robin Milner 1934–2010. Verification, languages, and concurrency. (English) Zbl 1284.68185

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 473-474 (2011).
MSC:  68N30 01A70
PDFBibTeX XMLCite
Full Text: DOI

Mathematizing C++ concurrency. (English) Zbl 1284.68165

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 55-66 (2011).
PDFBibTeX XMLCite
Full Text: DOI Link

Relaxed-memory concurrency and verified compilation. (English) Zbl 1284.68152

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 43-54 (2011).
MSC:  68N20 68N15 68T15 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Lem: a lightweight tool for heavyweight semantics. (English) Zbl 1342.68300

Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 363-369 (2011).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

seL4 enforces integrity. (English) Zbl 1342.68303

Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 325-340 (2011).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

\(\pi\)-calculi. Reprint of the 2001 hardback ed. (English) Zbl 1253.68252

Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 177-197 (2010).
MSC:  68Q85 68-02
PDFBibTeX XMLCite

Recent advances in the combination of the unscented transform (UT) with the transmission line modeling method (TLM). (English) Zbl 1153.78342

Russer, Peter (ed.) et al., Time domain methods in electrodynamics. A tribute to Wolfgang J. R. Hoefer. Proceedings of the symposium on time domain methods in modern engineering electrodynamics, München, Germany, May 16–17, 2007. Berlin: Springer (ISBN 978-3-540-68766-5/hbk). Springer Proceedings in Physics 121, 135-145 (2008).
MSC:  78M99 78M25 78A48
PDFBibTeX XMLCite
Full Text: DOI

Ott, effective tool support for the working semanticist. (English) Zbl 1291.68238

Proceedings of the 12th ACM SIGPLAN international conference on functional programming, ICFP ’07, Freiburg, Germany, October 1–3, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-815-2). ACM SIGPLAN Notices 42, No. 9, 1-12 (2007).
MSC:  68Q55 68N15 68T15
PDFBibTeX XMLCite
Full Text: DOI

Wave models for networks and fields. (English) Zbl 1206.78020

Göknar, Izzet Cem (ed.) et al., Complex computing-networks. Brain-like and wave-oriented electrodynamic algorithms. Proceedings of the international symposium CCN2005 on Complex computing-networks: A link between brain-like and wave oriented electrodynamics algorithms’, Istanbul, Turkey, June 13–14, 2005. Berlin: Springer (ISBN 978-3-540-30635-1/hbk). Springer Proceedings in Physics 104, 3-12 (2006).
MSC:  78A40 78A50 78M25
PDFBibTeX XMLCite

Mutatis mutandis: safe and predictable dynamic software updating. (English) Zbl 1369.68157

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 183-194 (2005).
MSC:  68N30 68N15 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Acute: high-level programming language design for distributed computation. (English) Zbl 1302.68071

Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 15-26 (2005).
MSC:  68N18 68N15 68N19
PDFBibTeX XMLCite
Full Text: DOI

Mechanized metatheory for the masses: the PoplMark challenge. (English) Zbl 1152.68516

Hurd, Joe (ed.) et al., Theorem proving in higher order logics. 18th international conference, TPHOLs 2005, Oxford, UK, August 22–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28372-2/pbk). Lecture Notes in Computer Science 3603, 50-65 (2005).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Dynamic rebinding for marshalling and update, with destruct-time \(\lambda\). (English) Zbl 1315.68047

Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 99-110 (2003).
MSC:  68N18 68M14
PDFBibTeX XMLCite
Full Text: DOI

Global abstraction-safe marshalling with hash types. (English) Zbl 1315.68052

Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 87-98 (2003).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI Link

Timing UDP: Mechanized semantics for sockets, threads, and failures. (English) Zbl 1077.68597

Le Métayer, Daniel (ed.), Programming languages and systems. 11th European symposium on programming, ESOP 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43363-5). Lect. Notes Comput. Sci. 2305, 278-294 (2002).
MSC:  68N19 68Q55 68T15
PDFBibTeX XMLCite
Full Text: Link

Modules, abstract types, and distributed versioning. (English) Zbl 1323.68228

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 236-247 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Nomadic Pict: correct communication infrastructure for mobile computation. (English) Zbl 1323.68416

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 116-127 (2001).
MSC:  68Q85 68N15 68Q55
PDFBibTeX XMLCite
Full Text: DOI

HLCL 2000. 4th international workshop on high-level concurrent languages (satellite to PLI 2000), Montreal, Canada, September 20, 2000. (English) Zbl 1262.68017

Electronic Notes in Theoretical Computer Science 41, No. 2. Amsterdam: Elsevier. 16 p., electronic only (2001).
MSC:  68-06 68Q85 00B25
PDFBibTeX XMLCite

The UDP calculus: Rigorous semantics for real networking. (English) Zbl 1087.68555

Kobayashi, Naoki (ed.) et al., Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29–31, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42736-8/pbk). Lecture Notes in Computer Science 2215, 535-559 (2001).
MSC:  68N99 68M14
PDFBibTeX XMLCite
Full Text: Link

Selected papers. With brief biographical sketches by W. E. Sewell, D. V. Widder and Morris Marden and commentaries by Q. I. Rahman, P. M. Gauthier, Dieter Gaier, Walter Schempp and the editors. Edited by Theodore J. Rivlin and Edward B. Saff. (English) Zbl 0971.01015

New York, NY: Springer (ISBN 0-387-98782-7/hbk; 978-1-4614-6132-6/pbk). xxv, 682 p. (2000).
PDFBibTeX XMLCite

Shallow flow over general topography with applications to monotonic mountains. (English) Zbl 0900.76050

Castro, I. P. (ed.) et al., Stably stratified flows: flow and dispersion over topography. Based on the proceedings of the 4th conference on stably stratified flows, University of Surrey, Guildford, UK, September 1992. Oxford: Clarendon Press. Inst. Math. Appl. Conf. Ser., New Ser. 52, 133-138 (1994).
MSC:  76B10 86A05
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software