×

zbMATH — the first resource for mathematics

Found 97 Documents (Results 1–97)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Chopp, D. L.
Introduction to high performance scientific computing. (English) Zbl 07062225
Software - Environments - Tools 30. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-563-5/pbk). xiii, 455 p. (2019).
Reviewer: Michael Jung (Dresden)
MSC:  65-01 65Y05 65Y10
PDF BibTeX XML Cite
\textit{D. L. Chopp}, Introduction to high performance scientific computing. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (2019; Zbl 07062225)
Aguado, Joaquín; Mendler, Michael; Pouzet, Marc; Roop, Partha; von Hanxleden, Reinhard
Deterministic concurrency: a clock-synchronised shared memory approach. (English) Zbl 1418.68047
Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 86-113 (2018).
MSC:  68N30 68Q55 68Q85
PDF BibTeX XML Cite
\textit{J. Aguado} et al., Lect. Notes Comput. Sci. 10801, 86--113 (2018; Zbl 1418.68047)
Full Text: DOI
Riesco, Adrián
Model checking parameterized by the semantics in Maude. (English) Zbl 06900733
Gallagher, John P. (ed.) et al., Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-90685-0/pbk; 978-3-319-90686-7/ebook). Lecture Notes in Computer Science 10818, 198-213 (2018).
MSC:  68N17 68N18
PDF BibTeX XML Cite
\textit{A. Riesco}, Lect. Notes Comput. Sci. 10818, 198--213 (2018; Zbl 06900733)
Full Text: DOI
Wickerson, John; Batty, Mark; Sorensen, Tyler; Constantinides, George A.
Automatically comparing memory consistency models. (English) Zbl 1380.68110
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 190-204 (2017).
MSC:  68N20 68N15 68N19 68Q60
PDF BibTeX XML Cite
\textit{J. Wickerson} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 190--204 (2017; Zbl 1380.68110)
Full Text: DOI
Golab, Wojciech; Ramaraju, Aditya
Recoverable mutual exclusion (extended abstract). (English) Zbl 1373.68177
Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 65-74 (2016).
MSC:  68M14 68N19 68P05 68Q25
PDF BibTeX XML Cite
\textit{W. Golab} and \textit{A. Ramaraju}, in: Proceedings of the 35th ACM symposium on principles of distributed computing, PODC '16, Chicago, IL, USA, July 25--28, 2016. New York, NY: Association for Computing Machinery (ACM). 65--74 (2016; Zbl 1373.68177)
Full Text: DOI
Brookes, Stephen
On grainless footprint semantics for shared-memory programs. (English) Zbl 1337.68060
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 65-86, electronic only (2014).
MSC:  68N19 68N30 68Q55
PDF BibTeX XML Cite
\textit{S. Brookes}, Electron. Notes Theor. Comput. Sci. 308, 65--86 (2014; Zbl 1337.68060)
Full Text: DOI
Aghazadeh, Zahra; Golab, Wojciech; Woelfel, Philipp
Making objects writable. (English) Zbl 1321.68163
Proceedings of the 2014 ACM symposium on principles of distributed computing, PODC ’14, Paris, France, July 15–18, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2944-6). 385-395 (2014).
MSC:  68N19 68Q10 68W15
PDF BibTeX XML Cite
\textit{Z. Aghazadeh} et al., in: Proceedings of the 33rd ACM symposium on principles of distributed computing, PODC '14, Paris, France, July 15--18, 2014. New York, NY: Association for Computing Machinery (ACM). 385--395 (2014; Zbl 1321.68163)
Full Text: DOI
Turon, Aaron Joseph; Wand, Mitchell
A separation logic for refining concurrent objects. (English) Zbl 1284.68207
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). 247-258 (2011).
MSC:  68N30 68N19 68Q85 68M20
PDF BibTeX XML Cite
\textit{A. J. Turon} and \textit{M. Wand}, in: 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). 247--258 (2011; Zbl 1284.68207)
Full Text: DOI
Haghighi, Mahdi S.; Zahedi, M. Hadi; Ghazizadeh, A. Mustafa; Ahangary, Farnad
Extending OpenMP for agent based DSM on GRID. (English) Zbl 1214.68140
Sobh, Tarek (ed.) et al., Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4–12, 2009. Dordrecht: Springer (ISBN 978-90-481-9111-6/hbk; 978-90-481-9112-3/ebook). 265-271 (2010).
MSC:  68N99 68N19
PDF BibTeX XML Cite
\textit{M. S. Haghighi} et al., in: Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4--12, 2009. Dordrecht: Springer. 265--271 (2010; Zbl 1214.68140)
Full Text: DOI
Behrends, Reimer; Konovalov, Alexander; Linton, Steve; Lübeck, Frank; Neunhöffer, Max
Towards high-performance computational algebra with GAP. (English) Zbl 1294.68151
Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 58-61 (2010).
MSC:  68W30
PDF BibTeX XML Cite
\textit{R. Behrends} et al., Lect. Notes Comput. Sci. 6327, 58--61 (2010; Zbl 1294.68151)
Full Text: DOI
Golab, Wojciech; Hadzilacos, Vassos; Hendler, Danny; Woelfel, Philipp
Constant-RMR implementations of CAS and other synchronization primitives using read and write operations. (English) Zbl 1283.68095
Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 3-12 (2007).
MSC:  68M14 68W15 68N19 68Q25 68W05
PDF BibTeX XML Cite
\textit{W. Golab} et al., in: Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC '07, Portland, OR, USA, August 12--15, 2007. New York, NY: Association for Computing Machinery (ACM). 3--12 (2007; Zbl 1283.68095)
Full Text: DOI
Golab, Wojciech; Hendler, Danny; Woelfel, Philipp
An \(O(1)\) RMRs leader election algorithm. (English) Zbl 1314.68376
Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 238-247 (2006).
MSC:  68W15 68M14 68N19 68Q10 68Q25 68W05
PDF BibTeX XML Cite
\textit{W. Golab} et al., in: Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC '06, Denver, CO, USA, July 23--26, 2006. New York, NY: Association for Computing Machinery (ACM). 238--247 (2006; Zbl 1314.68376)
Full Text: DOI
Fatourou, Panagiota; Kallimanis, Nikolaos D.
Single-scanner multi-writer snapshot implementations are fast! (English) Zbl 1314.68373
Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 228-237 (2006).
MSC:  68W15 68M14 68N19 68Q10 68Q25 68W05
PDF BibTeX XML Cite
\textit{P. Fatourou} and \textit{N. D. Kallimanis}, in: Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC '06, Denver, CO, USA, July 23--26, 2006. New York, NY: Association for Computing Machinery (ACM). 228--237 (2006; Zbl 1314.68373)
Full Text: DOI
Ha, Phuong Hoai; Tsigas, Philippas; Wattenhofer, Mirjam; Wattenhofer, Rogert
Efficient multi-word locking using randomization. (English) Zbl 1314.68379
Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 249-257 (2005).
MSC:  68W15 68M14 68N19 68N25 68Q17 68W20
PDF BibTeX XML Cite
\textit{P. H. Ha} et al., in: Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC '05, Las Vegas, NV, USA, July 17--20, 2005. New York, NY: Association for Computing Machinery (ACM). 249--257 (2005; Zbl 1314.68379)
Full Text: DOI
Agarwal, Anurag; Garg, Vijay K.
Efficient dependency tracking for relevant events in shared-memory systems. (English) Zbl 1314.68363
Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 19-28 (2005).
MSC:  68W15 68M14 68N19 68N25 68P05
PDF BibTeX XML Cite
\textit{A. Agarwal} and \textit{V. K. Garg}, in: Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC '05, Las Vegas, NV, USA, July 17--20, 2005. New York, NY: Association for Computing Machinery (ACM). 19--28 (2005; Zbl 1314.68363)
Full Text: DOI
Dutta, Partha; Guerraoui, Rachid; Levy, Ron R.; Chakraborty, Arindam
How fast can a distributed atomic read be? (English) Zbl 1321.68071
Proceedings of the 23rd annual ACM symposium on principles of distributed computing, PODC ’04, St. Johns, Newfoundland, Canada, July 25–28, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-802-4). 236-245 (2004).
MSC:  68M14 68N19 68P10 68Q25 68W15
PDF BibTeX XML Cite
\textit{P. Dutta} et al., in: Proceedings of the 23rd annual ACM symposium on principles of distributed computing, PODC '04, St. Johns, Newfoundland, Canada, July 25--28, 2004. New York, NY: Association for Computing Machinery (ACM). 236--245 (2004; Zbl 1321.68071)
Full Text: DOI
Min, Seung Jai; Basumallik, Ayon; Eigenmann, Rudolf
Supporting realistic OpenMP applications on a commodity cluster of workstations. (English) Zbl 1037.68925
Voss, Michael J. (ed.), OpenMP shared memory parallel programming. International workshop on OpenMP applications and tools, WOMPAT 2003, Toronto, Canada, June 26–27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40435-X/pbk). Lect. Notes Comput. Sci. 2716, 170-179 (2003).
MSC:  68U99 68N19
PDF BibTeX XML Cite
\textit{S. J. Min} et al., Lect. Notes Comput. Sci. 2716, 170--179 (2003; Zbl 1037.68925)
Full Text: Link
Voss, Michael J. (ed.)
OpenMP shared memory parallel programming. International workshop on OpenMP applications and tools, WOMPAT 2003, Toronto, Canada, June 26–27, 2003. Proceedings. (English) Zbl 1029.68921
Lecture Notes in Computer Science. 2716. Berlin: Springer. viii, 271 p. (2003).
MSC:  68U99 68-06 68N19
PDF BibTeX XML Cite
\textit{M. J. Voss} (ed.), OpenMP shared memory parallel programming. International workshop on OpenMP applications and tools, WOMPAT 2003, Toronto, Canada, June 26--27, 2003. Proceedings. Berlin: Springer (2003; Zbl 1029.68921)
Full Text: Link
Chapman, B.; Hernandez, O.; Patil, A.; Prabhakar, A.
Program development environment for OpenMP programs on ccNUMA architectures. (English) Zbl 1023.68732
Margenov, Svetozar (ed.) et al., Large-scale scientific computing. 3rd international conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2179, 210-217 (2001).
MSC:  68U99 68N19
PDF BibTeX XML Cite
\textit{B. Chapman} et al., Lect. Notes Comput. Sci. 2179, 210--217 (2001; Zbl 1023.68732)
Full Text: Link
Chapman, Barbara; Patil, Amit; Prabhakar, Achal
Performance oriented programming for NUMA architectures. (English) Zbl 0986.68718
Eigenmann, Rudolf (ed.) et al., OpenMP shared memory parallel programming. International workshop on OpenMP applications and tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2104, 137-154 (2001).
MSC:  68U99 68N19
PDF BibTeX XML Cite
\textit{B. Chapman} et al., Lect. Notes Comput. Sci. 2104, 137--154 (2001; Zbl 0986.68718)
Full Text: Link
Fang, Zhiyi; Du, Zengkai; Liu, Zheng
\(\text{OCC}\_\text{CTP}\): A new optimistic concurrency control strategy based on combining transaction parameters in DSM systems. (English) Zbl 0963.68007
Cheng, Wilson C. H. (ed.) et al., PART ’99. Proceedings of the 6th Australasian conference on Parallel and real-time systems, Melbourne, Australia, November 29-December 1, 1999. Singapore: Springer. 13-21 (2000).
MSC:  68M10 68N19
PDF BibTeX XML Cite
\textit{Z. Fang} et al., in: PART '99. Proceedings of the 6th Australasian conference on Parallel and real-time systems, Melbourne, Australia, November 29--December 1, 1999. Singapore: Springer. 13--21 (2000; Zbl 0963.68007)
Dreier, Bernd
A heterogeneous software distributed shared memory system with structured data objects. (Rthreads. Ein heterogenes Software Distributed Shared Memory System mit strukturierten Datenobjekten.) (German) Zbl 0898.68026
Augsburger Mathematisch-Naturwissenschaftliche Schriften. 23. Augsburg: Wißner. xii, 135 S. (1998).
Reviewer: A.Bijlsma (Eindhoven)
MSC:  68Q10 68-02
PDF BibTeX XML Cite
\textit{B. Dreier}, Rthreads. Ein heterogenes Software Distributed Shared Memory System mit strukturierten Datenobjekten. Augsburg: Wißner (1998; Zbl 0898.68026)
Conforti, D.; de Luca, L.; Musmanno, R.
Unconstrained optimization on vector-parallel computers. (English) Zbl 0812.65046
Computational and applied mathematics, I. Algorithms and theory, Sel. Rev. Pap. IMACS 13th World Congr., Dublin/Irel. 1991, 101-110 (1992).
MSC:  65K05 90C30 65Y05
PDF BibTeX XML Cite
\textit{D. Conforti} et al., in: Computational and applied mathematics, I. Algorithms and theory. Selected and revised papers from the IMACS 13th world congress, Dublin, Ireland, July 1991. Proceedings. Amsterdam etc.: North-Holland. 101--110 (1992; Zbl 0812.65046)

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software