×

Found 640 Documents (Results 1–100)

Newest Citations Relevance
de Boer, Martin; De Gouw, Stijn; Klamroth, Jonas; Jung, Christian; Ulbrich, Mattias; Weigl, Alexander

Formal specification and verification of JDK’s identity hash map implementation. (English) Zbl 1502.68054

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 45-62 (2022).
MSC:  68N15 68P05 68Q60
PDF BibTeX XML Cite
\textit{M. de Boer} et al., Lect. Notes Comput. Sci. 13274, 45--62 (2022; Zbl 1502.68054)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Mansky, Susannah; Gunter, Elsa L.

Safety of a smart classes-used regression test selection algorithm. (English) Zbl 07313965

Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 51-73 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
\textit{S. Mansky} and \textit{E. L. Gunter}, Electron. Notes Theor. Comput. Sci. 351, 51--73 (2020; Zbl 07313965)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Greiner-Petter, André; Schubotz, Moritz; Cohl, Howard S.; Gipp, Bela

MathTools: an open API for convenient MathML handling. (English) Zbl 1417.68205

Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 104-110 (2018).
MSC:  68T30 68U15
PDF BibTeX XML Cite
\textit{A. Greiner-Petter} et al., Lect. Notes Comput. Sci. 11006, 104--110 (2018; Zbl 1417.68205)
Full Text: DOI arXiv Link
  • logo of hbz
  • logo of WorldCat
Goodrich, Michael T.; Tamassia, Roberto; Vismara, Luca

Data structures in JDSL. 2nd edition. (English) Zbl 1387.68090

Mehta, Dinesh P. (ed.) et al., Handbook of data structures and applications. Boca Raton, FL: Chapman & Hall/CRC (ISBN 978-1-4987-0185-3/hbk; 978-1-4987-0188-4/ebook). Chapman & Hall/CRC Computer and Information Science Series, 679-695 (2018).
MSC:  68P05 68N15
PDF BibTeX XML Cite
\textit{M. T. Goodrich} et al., in: Handbook of data structures and applications. Boca Raton, FL: Chapman \& Hall/CRC. 679--695 (2018; Zbl 1387.68090)
  • logo of hbz
  • logo of WorldCat
Barki, Amira; Brunet, Solenn; Desmoulins, Nicolas; Traoré, Jacques

Improved algebraic MACs and practical keyed-verification anonymous credentials. (English) Zbl 1418.94030

Avanzi, Roberto (ed.) et al., Selected areas in cryptography – SAC 2016. 23rd international conference, St. John’s, NL, Canada, August 10–12, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10532, 360-380 (2017).
MSC:  94A60
PDF BibTeX XML Cite
\textit{A. Barki} et al., Lect. Notes Comput. Sci. 10532, 360--380 (2017; Zbl 1418.94030)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Grigore, Radu

Java generics are Turing complete. (English) Zbl 1380.68083

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). 73-85 (2017).
MSC:  68N15 68N30 68Q05
PDF BibTeX XML Cite
\textit{R. Grigore}, 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). 73--85 (2017; Zbl 1380.68083)
Full Text: DOI arXiv Link
  • logo of hbz
  • logo of WorldCat
Giesl, Jürgen; Aschermann, Cornelius; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephanie; Thiemann, René

Analyzing program termination and complexity automatically with AProVE. (English) Zbl 1409.68255

J. Autom. Reasoning 58, No. 1, 3-31 (2017).
MSC:  68T15 68N15 68Q42
PDF BibTeX XML Cite
\textit{J. Giesl} et al., J. Autom. Reasoning 58, No. 1, 3--31 (2017; Zbl 1409.68255)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Gumm, Heinz-Peter; Sommer, Manfred

Computer science. Volume 1: Programming, algorithms, and data structures. (Informatik. Band 1: Programmierung, Algorithmen und Datenstrukturen.) (German) Zbl 1353.68002

De Gruyter Studium. Berlin: De Gruyter/Oldenbourg (ISBN 978-3-11-044227-4/pbk; 978-3-11-044226-7/ebook). x, 450 p. (2016).
Reviewer: Dieter Riebesehl (Lüneburg)
MSC:  68-01 68M01 68N15 68P05 68P10 68W05
PDF BibTeX XML Cite
\textit{H.-P. Gumm} and \textit{M. Sommer}, Informatik. Band 1: Programmierung, Algorithmen und Datenstrukturen. Berlin: De Gruyter/Oldenbourg (2016; Zbl 1353.68002)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Škarydová, Ilona; Hokr, Milan

Solution of mechanical problems in fractured rock with the user-defined interface of COMSOL multiphysics. (English) Zbl 1374.74012

Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 17. Proceedings of the 17th seminar (PANM), Dolní Maxov, Czech Republic, June 8–13, 2014. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics (ISBN 978-80-85823-64-6). 200-206 (2015).
Reviewer: Petr Prikryl
MSC:  74A45 74R99 74-04
PDF BibTeX XML Cite
\textit{I. Škarydová} and \textit{M. Hokr}, in: Programs and algorithms of numerical mathematics 17. Proceedings of the 17th seminar (PANM), Dolní Maxov, Czech Republic, June 8--13, 2014. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics. 200--206 (2015; Zbl 1374.74012)
Full Text: Link
  • logo of hbz
  • logo of WorldCat
Bogdanas, Denis; Roşu, Grigore

K-Java: a complete semantics of Java. (English) Zbl 1346.68046

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 445-456 (2015).
MSC:  68N15 68Q55 68N30
PDF BibTeX XML Cite
\textit{D. Bogdanas} and \textit{G. Roşu}, in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 445--456 (2015; Zbl 1346.68046)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Macías-Ramos, Luis F.; Martínez-del-Amor, Miguel A.; Pérez-Jiménez, Mario J.

Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms. (English) Zbl 1470.68045

Rozenberg, Grzegorz (ed.) et al., Membrane computing. 16th international conference, CMC 2015, Valencia, Spain, August 17–21, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9504, 262-276 (2015).
MSC:  68Q07 68T37
PDF BibTeX XML Cite
\textit{L. F. Macías-Ramos} et al., Lect. Notes Comput. Sci. 9504, 262--276 (2015; Zbl 1470.68045)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Caballero, Rafael; Montenegro, Manuel; Kuchen, Herbert; von Hof, Vincent

Checking Java assertions using automated test-case generation. (English) Zbl 1473.68036

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 221-226 (2015).
MSC:  68N15
PDF BibTeX XML Cite
\textit{R. Caballero} et al., Lect. Notes Comput. Sci. 9527, 221--226 (2015; Zbl 1473.68036)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Heiner, Monika; Schwarick, Martin; Wegener, Jan-Thierry

Charlie – an extensible Petri net analysis tool. (English) Zbl 1432.68309

Devillers, Raymond (ed.) et al., Application and theory of Petri nets and concurrency. 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21–26, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9115, 200-211 (2015).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
\textit{M. Heiner} et al., Lect. Notes Comput. Sci. 9115, 200--211 (2015; Zbl 1432.68309)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Szabó, Csaba; Kotul, Maroš; Petruš, Richard

A closer look at software refactoring using symbolic execution. (English) Zbl 1372.68069

Kovács, Emőd (ed.) et al., Proceedings of the 9th international conference on applied informatics (ICAI 2014), Eger, Hungary, January 29 – February 1, 2014. Volume 2. Eger: Eszterhazy Karoly University of Applied Sciences (ISBN 978-615-5297-19-9). 309-316 (2014).
MSC:  68N30 68N15
PDF BibTeX XML Cite
\textit{C. Szabó} et al., in: Proceedings of the 9th international conference on applied informatics (ICAI 2014), Eger, Hungary, January 29 -- February 1, 2014. Volume 2. Eger: Eszterhazy Karoly University of Applied Sciences. 309--316 (2014; Zbl 1372.68069)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
AbdelGawad, Moez A.

A domain-theoretic model of nominally-typed object-oriented programming. (English) Zbl 1337.68059

Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 3-19, electronic only (2014).
MSC:  68N19 68Q55
PDF BibTeX XML Cite
\textit{M. A. AbdelGawad}, Electron. Notes Theor. Comput. Sci. 301, 3--19 (2014; Zbl 1337.68059)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Moore, J Strother

Proof pearl: proving a simple von Neumann machine Turing complete. (English) Zbl 1416.68173

Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8558, 406-420 (2014).
MSC:  68T15 68Q05
PDF BibTeX XML Cite
\textit{J S. Moore}, Lect. Notes Comput. Sci. 8558, 406--420 (2014; Zbl 1416.68173)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Murawski, Andrzej S.; Tzevelekos, Nikos

Game semantics for interface middleweight Java. (English) Zbl 1284.68375

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 517-528 (2014).
MSC:  68Q55 68N15 68Q65
PDF BibTeX XML Cite
\textit{A. S. Murawski} and \textit{N. Tzevelekos}, in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 517--528 (2014; Zbl 1284.68375)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Demange, Delphine; Laporte, Vincent; Zhao, Lei; Jagannathan, Suresh; Pichardie, David; Vitek, Jan

Plan B, a buffered memory model for Java. (English) Zbl 1301.68098

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 329-342 (2013).
MSC:  68N30 68N15 68N19 68Q60
PDF BibTeX XML Cite
\textit{D. Demange} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 329--342 (2013; Zbl 1301.68098)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Foket, Christophe; De Sutter, Bjorn; Coppens, Bart; De Bosschere, Koen

A novel obfuscation: class hierarchy flattening. (English) Zbl 1355.94054

Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 5th international symposium, FPS 2012, Montreal, QC, Canada, October 25–26, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37118-9/pbk). Lecture Notes in Computer Science 7743, 194-210 (2013).
MSC:  94A60
PDF BibTeX XML Cite
\textit{C. Foket} et al., Lect. Notes Comput. Sci. 7743, 194--210 (2013; Zbl 1355.94054)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Pham-Quang, Phuong; Delinchant, Benoit

Java automatic differentiation tool using virtual operator overloading. (English) Zbl 1251.65033

Forth, Shaun (ed.) et al., Recent advances in algorithmic differentiation. Selected papers based on the presentations at the 6th international conference on automatic differentiation (AD2012), Fort Collins, CO, USA, July 23–27, 2012. Berlin: Springer (ISBN 978-3-642-30022-6/hbk; 978-3-642-30023-3/ebook). Lecture Notes in Computational Science and Engineering 87, 241-250 (2012).
MSC:  65D25 68W30
PDF BibTeX XML Cite
\textit{P. Pham-Quang} and \textit{B. Delinchant}, Lect. Notes Comput. Sci. Eng. 87, 241--250 (2012; Zbl 1251.65033)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars

Charge! A framework for higher-order separation logic in Coq. (English) Zbl 1360.68741

Beringer, Lennart (ed.) et al., Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32346-1/pbk). Lecture Notes in Computer Science 7406, 315-331 (2012).
MSC:  68T15 03B70 68N15
PDF BibTeX XML Cite
\textit{J. Bengtson} et al., Lect. Notes Comput. Sci. 7406, 315--331 (2012; Zbl 1360.68741)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Brockschmidt, Marc; Otto, Carsten; Giesl, Jürgen

Modular termination proofs of recursive Java bytecode programs by term rewriting. (English) Zbl 1236.68036

Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 155-170, electronic only (2011).
MSC:  68N19 68N30 68Q42
PDF BibTeX XML Cite
\textit{M. Brockschmidt} et al., LIPIcs -- Leibniz Int. Proc. Inform. 10, 155--170 (2011; Zbl 1236.68036)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Otto, Carsten; Brockschmidt, Marc; Von Essen, Christian; Giesl, Jürgen

Automated termination analysis of Java bytecode by term rewriting. (English) Zbl 1236.68145

Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 259-276, electronic only (2010).
MSC:  68Q42 68N19 68N15 68N20
PDF BibTeX XML Cite
\textit{C. Otto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 6, 259--276 (2010; Zbl 1236.68145)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Panoiu, Manuela; Muscalagiu, Ionel; Panoiu, Caius; Raich, Maria

Interactive environment for comparative analysis of sequential and parallel algorithms. (English) Zbl 1231.68297

Mastorakis, N. (ed.) et al., Latest trends on computers. 2 Volumes. Papers based on the presentations at the 14th WSEAS international conference on computers (Part of the 14th WSEAS CSCC multiconference), Corfu Island, Greece, July 23–25, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-206-6/CD-ROM; 978-960-474-201-1). 527-532 (2010).
MSC:  68W40 68W10 68U20
PDF BibTeX XML Cite
\textit{M. Panoiu} et al., in: Latest trends on computers. 2 Volumes. Papers based on the presentations at the 14th WSEAS international conference on computers (Part of the 14th WSEAS CSCC multiconference), Corfu Island, Greece, July 23--25, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS). 527--532 (2010; Zbl 1231.68297)
  • logo of hbz
  • logo of WorldCat
Simion, Dǎnuţ-Octavian

Using Java in business applications. (English) Zbl 1231.91301

Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 218-223 (2010).
MSC:  91B44 91-04
PDF BibTeX XML Cite
\textit{D.-O. Simion}, in: European computing conference. Proceedings of the 4th European computing conference (ECC'10), Bucarest, Romania, April 20--22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS). 218--223 (2010; Zbl 1231.91301)
  • logo of hbz
  • logo of WorldCat
Arcelli, Francesca; Perin, Fabrizio; Raibulet, Claudia; Ravani, Stefano

Design pattern detection in Java systems: A dynamic analysis based approach. (English) Zbl 1211.68045

Maciaszek, Leszek A. (ed.) et al., Evaluation of novel approaches to software engineering. 3rd and 4th international conference, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4–7, 2008, Milan, Italy, May 9–10, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14818-7/pbk). Communications in Computer and Information Science 69, 163-179 (2010).
MSC:  68N15 68N99
PDF BibTeX XML Cite
\textit{F. Arcelli} et al., Commun. Comput. Inf. Sci. 69, 163--179 (2010; Zbl 1211.68045)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Loverdos, Christos K. K.; Syropoulos, Apostolos

Steps in Scala. An introduction to object-functional programming. (English) Zbl 1246.68005

Cambridge: Cambridge University Press (ISBN 978-0-521-74758-5/pbk; 978-0-521-76217-5/hbk; 978-0-511-79598-5/ebook). xvii, 485 p. (2010).
Reviewer: Stefan Meyer (Berlin)
MSC:  68-01 68N15 68N18 68N19
PDF BibTeX XML Cite
\textit{C. K. K. Loverdos} and \textit{A. Syropoulos}, Steps in Scala. An introduction to object-functional programming. Cambridge: Cambridge University Press (2010; Zbl 1246.68005)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Bordini, R. H.; Dennis, L. A.; Farwer, B.; Fisher, M.

Directions for agent model checking. (English) Zbl 1201.68069

Dastani, Mehdi (ed.) et al., Specification and verification of multi-agent systems. Foreword by Wiebe van der Hoek. Dordrecht: Springer (ISBN 978-1-4419-6983-5/hbk; 978-1-4419-6984-2/ebook). 103-123 (2010).
MSC:  68Q60 68T42
PDF BibTeX XML Cite
\textit{R. H. Bordini} et al., in: Specification and verification of multi-agent systems. Foreword by Wiebe van der Hoek. Dordrecht: Springer. 103--123 (2010; Zbl 1201.68069)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
da Costa, Umberto Souza; Martins Moreira, Anamaria; Musicante, Martin A.; Souza Neto, Plácido A.

Specification and runtime verification of Java card programs. (English) Zbl 1347.68063

Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 61-78 (2009).
MSC:  68N19 68N15 68N20 68Q60
PDF BibTeX XML Cite
\textit{U. S. da Costa} et al., Electron. Notes Theor. Comput. Sci. 240, 61--78 (2009; Zbl 1347.68063)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Djordjević, Goran; Marković, Milan

A simulation of web service based secure mobile application. (English) Zbl 1249.68311

Mladenović, Nenad (ed.) et al., XXXVI Simpozijum o operacionim istraživanjima, SYM-OP-IS 2009. Zbornik Radova. Beograd: Matematički Institut SANU (ISBN 978-86-80953-43-4). 261-264 (2009).
Reviewer: Dragan Urošević (Beograd)
MSC:  68U20 68M11 68N99
PDF BibTeX XML Cite
\textit{G. Djordjević} and \textit{M. Marković}, in: XXXVI Simpozijum o operacionim istraživanjima, SYM-OP-IS 2009. Zbornik Radova. Beograd: Matematički Institut SANU. 261--264 (2009; Zbl 1249.68311)
  • logo of hbz
  • logo of WorldCat
Adamkó, Attila; Bornemissza, Csaba

Combining the benefits of MVC design pattern and UML based modeling for different software platforms. (English) Zbl 1183.68186

Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 173-179 (2009).
MSC:  68N99 68N15
PDF BibTeX XML Cite
\textit{A. Adamkó} and \textit{C. Bornemissza}, in: Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28--31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 173--179 (2009; Zbl 1183.68186)
  • logo of hbz
  • logo of WorldCat
Pogorilyy, S. D.; Shkulipa, I. Yu.

A conception for creating a system of parametric design of parallel algorithms and their software implementations. (English. Russian original) Zbl 1183.68733

Cybern. Syst. Anal. 45, No. 6, 952-958 (2009); translation from Kibern. Sist. Anal. 2009, No. 6, 118-124 (2009).
MSC:  68W10 68N99
PDF BibTeX XML Cite
\textit{S. D. Pogorilyy} and \textit{I. Yu. Shkulipa}, Cybern. Syst. Anal. 45, No. 6, 952--958 (2009; Zbl 1183.68733); translation from Kibern. Sist. Anal. 2009, No. 6, 118--124 (2009)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Mateos, Cristian; Zunino, Alejandro; Campo, Marcelo; Trachsel, Ramiro

BYG: an approach to just-in-time gridification of conventional Java applications. (English) Zbl 1200.68036

Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 232-260 (2009).
MSC:  68M10 68N15
PDF BibTeX XML Cite
\textit{C. Mateos} et al., Adv. Parallel Comput. 17, 232--260 (2009; Zbl 1200.68036)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Genaud, Stéphane; Rattanapoka, Choopan

A peer-to-peer framework for message passing parallel programs. (English) Zbl 1187.68135

Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 118-147 (2009).
MSC:  68N19 68M14
PDF BibTeX XML Cite
\textit{S. Genaud} and \textit{C. Rattanapoka}, Adv. Parallel Comput. 17, 118--147 (2009; Zbl 1187.68135)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software