Local certification of graphs with bounded genus

Συγγραφείς: Feuilloley, Laurent, Fraigniaud, Pierre, Montealegre, Pedro, Rapaport, Ivan, Rémila, Eric, Todinca, Ioan

Συνεισφορές: Feuilloley, Laurent, Laboratoire d'InfoRmatique en Image et Systèmes d'information (LIRIS), Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS), Graphes, AlgOrithmes et AppLications (GOAL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Centre National de la Recherche Scientifique (CNRS), Université Paris Cité (UPCité), Universidad Adolfo Ibáñez Santiago, Departamento de Ingeniería Matemática Santiago (DIM), Universidad de Chile = University of Chile Santiago (UCHILE)-Centre National de la Recherche Scientifique (CNRS), Groupe d'Analyse et de Théorie Economique Lyon - Saint-Etienne (GATE Lyon Saint-Étienne), Université Lumière - Lyon 2 (UL2)-Université Jean Monnet - Saint-Étienne (UJM)-EMLyon Business School (EM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), ANR-16-CE40-0023,DESCARTES,Abstraction modulaire pour le calcul distribué(2016), ANR-17-CE40-0013,FREDDA,Méthodes formelles pour la conception d'algorithmes distribués(2017), ANR-18-CE47-0010,QuDATA,Algorithmes quantiques pour données massives(2018)

Πηγή: Discrete Applied Mathematics. 325:9-36

Θεματικοί όροι: FOS: Computer and information sciences, [INFO.INFO-DC]Computer Science [cs]/Distributed, 0102 computer and information sciences, Parallel, 01 natural sciences, and Cluster Computing [cs.DC], 2012 ACM Subject Classification D.1.3 Concurrent Programming (Distributed programming), Computer Science - Distributed, Parallel, and Cluster Computing, proof-labeling scheme, Local certification, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], locally checkable proofs, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2007.08084

A library for portable and composable data locality optimizations for NUMA systems

Συγγραφείς: Thomas R. Gross, Zoltan Majo

Πηγή: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. :227-238

Θεματικοί όροι: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), SOFTWARE LIBRARIES + PROGRAM LIBRARIES (SOFTWARE ENGINEERING), Data processing, computer science, 4. Education, SOFTWAREBIBLIOTHEKEN + PROGRAMMBIBLIOTHEKEN (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 14. Life underwater

Σύνδεσμος πρόσβασης: https://www.research-collection.ethz.ch/bitstream/20.500.11850/98643/1/eth-47328-01.pdf
https://doi.acm.org/10.1145/2688500.2688509
https://dl.acm.org/doi/10.1145/2858788.2688509
https://www.research-collection.ethz.ch/mapping/view/eth:47328
https://dblp.uni-trier.de/db/conf/ppopp/ppopp2015.html#MajoG15
http://www.lst.ethz.ch/research/publications/PPOPP_2015/PPOPP_2015.pdf
https://www.research-collection.ethz.ch/bitstream/20.500.11850/98643/1/eth-47328-01.pdf
https://dl.acm.org/doi/10.1145/3040222
https://doi.org/10.1145/3040222
https://dblp.uni-trier.de/db/journals/topc/topc3.html#MajoG17

Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Συγγραφείς: M. Boreale, F. Corradini, M. Loreti, R. Pugliese

Πηγή: Lecture Notes in Computer Science ISBN: 9783030214845

Θεματικοί όροι: Models, Languages, Tools, Concurrent Programming, Distributed Programming, Rocco De Nicola

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2158/1159314

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Συγγραφείς: Corrodi, Claudio, Heußner, Alexander, Poskitt, Christopher M.

Συνεισφορές: Stevens, Perdita, Wasowski, Andrzej

Πηγή: Lecture Notes in Computer Science, 9633 ; Fundamental Approaches to Software Engineering

Θεματικοί όροι: PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), GRAPHENALGORITHMEN + GEOMETRISCHE ALGORITHMEN (GRAPHENTHEORIE), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING), GRAPH ALGORITHMS + GEOMETRIC ALGORITHMS (GRAPH THEORY), info:eu-repo/classification/ddc/004, Data processing, computer science

Περιγραφή αρχείου: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-662-49665-7; info:eu-repo/semantics/altIdentifier/isbn/978-3-662-49664-0; http://hdl.handle.net/20.500.11850/113623

Διαθεσιμότητα: https://hdl.handle.net/20.500.11850/113623
https://doi.org/10.3929/ethz-a-010603195

An Interference-Free Programming Model for Network Objects

Συγγραφείς: Schill, Mischael, Poskitt, Christopher M., Meyer, Bertrand

Θεματικοί όροι: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPEZIELLE PROGRAMMIERMETHODEN, SPEZIFIKATIONEN (SOFTWARE ENGINEERING), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), SPECIAL PROGRAMMING METHODS, SPECIFICATIONS (SOFTWARE ENGINEERING), info:eu-repo/classification/ddc/004, Data processing, computer science

Περιγραφή αρχείου: application/application/pdf

Relation: http://hdl.handle.net/20.500.11850/155552

Διαθεσιμότητα: https://hdl.handle.net/20.500.11850/155552
https://doi.org/10.3929/ethz-a-010624290

A library for portable and composable data locality optimizations for NUMA systems

Συγγραφείς: Gross, Thomas, id_orcid:0 000-0002-2038-2902, Majó, Zoltán

Πηγή: PPoPP 2015 Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Θεματικοί όροι: SOFTWAREBIBLIOTHEKEN + PROGRAMMBIBLIOTHEKEN (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SOFTWARE LIBRARIES + PROGRAM LIBRARIES (SOFTWARE ENGINEERING), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/004, Data processing, computer science

Περιγραφή αρχείου: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-4503-3205-7; info:eu-repo/semantics/altIdentifier/wos/000367254800022; http://hdl.handle.net/20.500.11850/98643

Διαθεσιμότητα: https://hdl.handle.net/20.500.11850/98643
https://doi.org/10.3929/ethz-a-010381204

Practical experience in the numerical dangers of heterogeneous computing

Συγγραφείς: Blackford, L. S., Cleary, A., Petitet, A., Whaley, R. C., Demmel, J., Dhillon, I., Ren, H., Stanley, K., Dongarra, J., Hammarling, S.

Πηγή: Blackford, L S, Cleary, A, Petitet, A, Whaley, R C, Demmel, J, Dhillon, I, Ren, H, Stanley, K, Dongarra, J & Hammarling, S 1997, 'Practical Experience in the Numerical Dangers of Heterogeneous Computing', ACM Transactions on Mathematical Software, vol. 23, no. 2, pp. 133-147. < http://dblp.uni-trier.de/db/journals/toms/toms23.html#BlackfordCPWDDRSDH97 >

Θεματικοί όροι: 0301 basic medicine, Network design and communication in computer systems, Parallel algorithms, Floating-point arithmetic, Distributed-memory systems, Reliability, heterogeneous computing, 01 natural sciences, 7. Clean energy, 03 medical and health sciences, D.1.3 [Programming Techniques]: Concurrent Programming - distributed programming, G.1.0 [Numerical Analysis]: General - computer arithmetic, 0101 mathematics, Algorithms

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: http://www.shuman.org/network/paper/ACM_Math_June97v23n2p133.pdf
https://zbmath.org/1113649
https://doi.org/10.1145/264029.264030
https://research.manchester.ac.uk/en/publications/b0c05d35-1d8b-4ecb-8b84-8f9254f87b16
https://dblp.uni-trier.de/db/journals/toms/toms23.html#BlackfordCPWDDRSDH97
https://www.cs.utexas.edu/users/inderjit/public_papers/acmtoms_dangers.pdf
https://dl.acm.org/doi/10.1145/264029.264030
https://www.escholar.manchester.ac.uk/uk-ac-man-scw:1h154
https://www.research.manchester.ac.uk/portal/en/publications/practical-experience-in-the-numerical-dangers-of-heterogeneous-computing(b0c05d35-1d8b-4ecb-8b84-8f9254f87b16).html
http://www.netlib.org/utk/people/JD/JackDongarra/PAPERS/087_1997_practical-experience-in-the-numerical-dangers-of-heterogeneous.pdf
http://dblp.uni-trier.de/db/journals/toms/toms23.html#BlackfordCPWDDRSDH97
https://research.manchester.ac.uk/en/publications/b0c05d35-1d8b-4ecb-8b84-8f9254f87b16
http://dblp.uni-trier.de/rec/bibtex/journals/toms/BlackfordCPWDDRSDH97.xml
http://dblp.uni-trier.de/rec/bibtex/journals/toms/BlackfordCPWDDRSDH97

Parallel cellular automata: A model program for computational science

Συγγραφείς: Hansen, Per Brinch

Πηγή: Concurrency: Practice and Experience. 5:425-448

Θεματικοί όροι: Cellular automata, Computer Sciences, 4. Education, Multicomputers, 02 engineering and technology, 15. Life on land, 7. Clean energy, 01 natural sciences, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, D.1.3Programming Techniques, Algorithms, Concurrent programming-distributed programming, Programming methodology

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://surface.syr.edu/cgi/viewcontent.cgi?article=1161&context=eecs_techreports
https://surface.syr.edu/cgi/viewcontent.cgi?article=1161&context=eecs_techreports
https://doi.org/10.1002/cpe.4330050504
https://surface.syr.edu/eecs_techreports/167/
https://onlinelibrary.wiley.com/doi/full/10.1002/cpe.4330050504
https://dblp.uni-trier.de/db/journals/concurrency/concurrency5.html#Hansen93a

Program Analysis for Event-based Distributed Systems

Συγγραφείς: K. R. Jayaram, Patrick Eugster

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.purdue.edu/homes/peugster/EventJava/EvProgAnal.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Distributed Programming, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages— Program Analysis, C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed Applications General Terms Languages, Performance Keywords event, distributed, correlation, language, program analysis

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.1183; http://www.cs.purdue.edu/homes/peugster/EventJava/EvProgAnal.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.1183
http://www.cs.purdue.edu/homes/peugster/EventJava/EvProgAnal.pdf

Pregel: A system for large-scale graph processing

Συγγραφείς: Grzegorz Malewicz, Matthew H. Austern, Aart J. C. Bik, James C. Dehnert, Ilan Horn, Naty Leiser, Grzegorz Czajkowski

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.brown.edu/courses/cs227/papers/pregel.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming, D.2.13 [Software Engineering, Reusable Software—Reusable libraries General Terms Design, Algorithms Keywords Distributed

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.2566; http://www.cs.brown.edu/courses/cs227/papers/pregel.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.2566
http://www.cs.brown.edu/courses/cs227/papers/pregel.pdf

G.Fox, Twister: A Runtime for iterative MapReduce

Συγγραφείς: Jaliya Ekanayake, Hui Li, Bingjing Zhang, Thilina Gunarathne, Seung-hee Bae, Judy Qiu, Geoffrey Fox

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://grids.ucs.indiana.edu/ptliupages/publications/hpdc-camera-ready-submission.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming- Distributed programming, Parallel Programming. General Terms Algorithms, Performance, Languages Keywords MapReduce, Cloud Technologies, Iterative Algorithms

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.300.4511

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.300.4511
http://grids.ucs.indiana.edu/ptliupages/publications/hpdc-camera-ready-submission.pdf

Distributed data-parallel computing using a highlevel programming language

Συγγραφείς: Michael Isard, Yuan Yu

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://research.microsoft.com/pubs/102137/sigmod09.pdf.

Θεματικοί όροι: D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming General Terms Design, Languages, Performance Keywords Distributed programming, cloud computing, concurrency

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8418; http://research.microsoft.com/pubs/102137/sigmod09.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8418
http://research.microsoft.com/pubs/102137/sigmod09.pdf

Monitoring heritage buildings with wireless sensor networks: the Torre Aquila deployment

Συγγραφείς: Matteo Ceriotti, Luca Mottola, Gian Pietro Picco, Amy L. Murphy, Stefan Gunǎ, Michele Corrà, Matteo Pozzi, Daniele Zonta, Paolo Zanon

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://disi.unitn.it/%7Epicco/papers/tower.pdf.

Θεματικοί όροι: Concurrent Programming—Distributed programming General Terms Design, Experimentation, Measurement Keywords Wireless sensor networks, Heritage buildings, Middleware

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.178.67; http://disi.unitn.it/%7Epicco/papers/tower.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.178.67
http://disi.unitn.it/%7Epicco/papers/tower.pdf

Programming models for sensor networks: a survey

Συγγραφείς: Ryo Sugihara, Rajesh K. Gupta

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://mesl.ucsd.edu/gupta/pubs/TOSN08.pdf.

Θεματικοί όροι: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming, D.3.m [Programming Languages, Miscellaneous General Terms, Design, Languages Additional Key Words and Phrases, Programming models and languages, survey, taxonomy ACM Reference Format

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.8607; http://mesl.ucsd.edu/gupta/pubs/TOSN08.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.8607
http://mesl.ucsd.edu/gupta/pubs/TOSN08.pdf

L.M.: Dynamic qos adaptation of inter-dependent task sets in cooperative embedded systems

Συγγραφείς: Luís Nogueira, Luís Miguel Pinho

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488.

Θεματικοί όροι: Categories and Subject Descriptors J.7 [Computers in Other Systems, Real time, D.1.3 [Pro- gramming Techniques, Concurrent Programming—Distributed programming General Terms Algorithms, Management, Performance Keywords Open real-time systems, Anytime algorithms, QoS optimisa- tion and adaptation, Service stability

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.4444; http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.4444
http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488

Efficient reconciliation and flow control for anti-entropy protocols

Συγγραφείς: Van Renesse, Dan Dumitriu, Valient Gough, Chris Thomas

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: https://www.evernote.com/shard/s1/res/d3f2a788-4f43-4b68-b64d-fd5da99de2e3/a6-van_renesse.pdf.

Θεματικοί όροι: Categories and Subject Descriptors, C.2.1 [Computer-Com- munication Networks, Network Architecture and Design { network communications, C.2.4 [Computer-Communic- ation Networks, Distributed Systems { distributed appli- cations, D.1.3 [Programming Techniques, Concurrent Programming { distributed programming, D.4.4 [Operating Systems, Communications Management { network com- munication, D.4.5 [Operating Systems, Reliability { fault tolerance, General Terms, Algorithms, Reliability. Additional Key Words and Phrases, Epidemics, Anti-Entropy, Gossip, Flow Control

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.467.5229

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.467.5229

Macrolab: a vector-based macroprogramming framework for cyber-physical systems

Συγγραφείς: Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.virginia.edu/~tis5m/docs/sensys08-macrolab.pdf.

Θεματικοί όροι: Real-time and Embedded Systems, D.1.3 [Programming Techniques, Concurrent Programming–Distributed programming GeneralTerms Design, Languages, Performance Keywords Cyber-Physical Systems, Embedded Networks, Macroprogramming, Programming Abstractions

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.5429

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.5429
http://www.cs.virginia.edu/~tis5m/docs/sensys08-macrolab.pdf

Dynamic testing of flow graph based parallel applications

Συγγραφείς: Basile Schaeli, Roger D. Hersch

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://lspwww.epfl.ch//publications/gigaserver/dtofgbpa.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming – distributed programming. D.2.5 [Software Engineering, Testing and Debugging – debugging aids, testing tools

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.6481; http://lspwww.epfl.ch//publications/gigaserver/dtofgbpa.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.6481
http://lspwww.epfl.ch//publications/gigaserver/dtofgbpa.pdf

Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE

Συγγραφείς: Claudio Corrodi

Πηγή: arXiv: Programming Languages.

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPEZIELLE PROGRAMMIERSPRACHEN, 0102 computer and information sciences, 02 engineering and technology, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), 01 natural sciences, Logic in Computer Science (cs.LO), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Software Engineering (cs.SE), Computer Science - Software Engineering, Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 0202 electrical engineering, electronic engineering, information engineering, VERIFIKATION (SOFTWARE ENGINEERING), SPECIAL PROGRAMMING LANGUAGES, Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1505.05265
https://arxiv.org/abs/1505.05265
http://se.inf.ethz.ch/student_projects/claudio_corrodi/ClaudioCorrodi-Thesis.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1505.html#Corrodi15
http://export.arxiv.org/pdf/1505.05265
http://ui.adsabs.harvard.edu/abs/2015arXiv150505265C/abstract
https://www.research-collection.ethz.ch/handle/20.500.11850/155096

Programming models for sensor networks: A survey

Συγγραφείς: Ryo Sugihara, Rajesh K. Gupta

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://mesl.ucsd.edu/pubs/sugihara-tosn07.pdf.

Θεματικοί όροι: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming, D.3.m [Programming Languages, Miscellaneous General Terms, Design, Languages Additional Key Words and Phrases, Programming models and languages, survey, taxonomy

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.6757

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.6757
http://mesl.ucsd.edu/pubs/sugihara-tosn07.pdf