×

Found 95 Documents (Results 1–95)

Introduction to high performance scientific computing. (English) Zbl 1453.65001

Software - Environments - Tools 30. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-563-5/pbk). xiii, 455 p. (2019).
PDFBibTeX XMLCite

Introduction to data science. A Python approach to concepts, techniques and applications. With contributions from Jordi Vitrià, Eloi Puertas Petia Radeva, Oriol Pujol, Sergio Escalera, Francesc Dantí and Lluís Garrido. (English) Zbl 1365.62003

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-50016-4/pbk; 978-3-319-50017-1/ebook). xiv, 218 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Specifying and implementing secure mobile applications. (English) Zbl 1171.68578

Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 235-283 (2009).
PDFBibTeX XMLCite

Analysis of distributed systems with mCRL2. (English) Zbl 1171.68400

Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 99-128 (2009).
MSC:  68N15 68M14 68Q85
PDFBibTeX XMLCite

Secure implementations of typed channel abstractions. (English) Zbl 1295.68078

Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 251-262 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Towards a mechanized metatheory of Standard ML. (English) Zbl 1295.68088

Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 173-184 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Abstraction preservation and subtyping in distributed languages. (English) Zbl 1321.68148

Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 286-297 (2006).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI

Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (English) Zbl 1095.68021

Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 3-540-21150-0/hbk). xxiv, 777 p. (2006).
PDFBibTeX XMLCite
Full Text: DOI

Specifying concurrent system behavior and timing constraints using OCL and UML. (English) Zbl 1024.68845

Gogolla, Martin (ed.) et al., “UML” 2001 - The unified modeling language. Modeling languages, concepts, and tools. 4th international conference, Toronto, Canada, October 1-5, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2185, 391-405 (2001).
PDFBibTeX XMLCite
Full Text: Link

Automatic HDL generation for a DES codec for an encrypted NFS server based on extended Petri net. (English) Zbl 1019.68069

Adamski, Marian (ed.) et al., Proceedings of the international workshop on discrete-event system design. DESDes ’01, Przytok near Zielona Góra, Poland, June 27-29, 2001. Zielona Góra: TU of Zielona Góra, Computer Engineering and Electronics Institute. 61-66 (2001).
MSC:  68Q85 68N15 68M99
PDFBibTeX XMLCite

Using a generalisation critic to find bisimulations for coinductive proofs. (English) Zbl 1430.68399

McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 276-290 (1997).
MSC:  68V15 68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

ECOOP ’97 - object-oriented programming. 11th European conference. Jyväskylä, Finland; June 9–13, 1997. Proceedings. (English) Zbl 0889.68037

Lecture Notes in Computer Science. 1241. Berlin: Springer. xi, 531 p. (1997).
PDFBibTeX XMLCite

An implementation of logical variable references in a concurrent logic programming language by using channel variables. (English) Zbl 0814.68046

Noguchi, Shoichi (ed.) et al., Transputer/ Occam Japan 6. Proceedings of the 6th Transputer/ Occam International Conference 16th - 17th June 1994, Hachioji-shi, Tokyo, Japan. Amsterdam: IOS Press. Transputer Occam Eng. Ser. 39, 102-116 (1994).
MSC:  68N17 68Q45
PDFBibTeX XMLCite

A single-message distributed algorithm for minimal spanning trees. (English) Zbl 0817.68114

Lavallée, Ivan (ed.) et al., Actes des journées internationales sur les problèmes fondamentaux de l’informatique parallèle et distribuée. Proceedings of the international workshop on principles of parallel computing, Lacanau, France, 23-26 novembre, 1993. Paris: Hermes. 13-25 (1993).
MSC:  68R10 68W15 68N17
PDFBibTeX XMLCite

Parallel molecular dynamics. (English) Zbl 0789.92011

Dongarra, Jack (ed.) et al., Proceedings of the fifth SIAM conference on parallel processing for scientific computing, held in Houston, TX, USA, March 25-27, 1991. Philadelphia, PA: SIAM. 338-344 (1992).
PDFBibTeX XMLCite

Fairness in LOTOS. (English) Zbl 0785.68036

Formal description techniques, IV, Proc. IFIP TC6/WG6 4th Int. Conf., Sydney/Australia 1991, 543-558 (1992).
MSC:  68Q10 68N15 68Q60
PDFBibTeX XMLCite

AI ’88. 2nd Australian joint artificial intelligence conference, Adelaide, Australia, November 15-18, 1988. Proceedings. (English) Zbl 0752.68002

Lecture Notes in Computer Science. 406. Berlin etc.: Springer-Verlag. VIII, 463 p. (1990).
Reviewer: N.Curteanu (Iaşi)
MSC:  68-06 68T30 68T15 68T35 68T50 68N17
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software