Suchergebnisse - "Programming abstractions"

Optimal Service Caching and Pricing in Edge Computing: a Bayesian Gaussian Process Bandit Approach

Autoren: Tutuncuoglu, Feridun Dán, György

Quelle: IEEE Transactions on Mobile Computing. 23(1):705-718

Schlagwörter: Computational modeling, Costs, Games, Gaussian processes, Pricing, Servers, Task analysis, computation offloading, Computer games, Computer programming, Gaussian distribution, Gaussian noise (electronic), Learning algorithms, Optimization, Polynomial approximation, Bayesian Gaussian process, Cache placement, Computational modelling, Dynamic environments, Edge computing, Game, Programming abstractions

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-328948
https://doi.org/10.1109/TMC.2022.3221465

Towards Real-Time Aggregate Computing

Autoren: Audrito, Giorgio Damiani, Ferruccio Torta, Gianluca

Quelle: Lecture Notes in Computer Science ISBN: 9783031751066

Schlagwörter: Aggregate Computing, Programming abstractions, Real-time guarantees, Self-organising systems

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/2318/2037057
https://doi.org/10.1007/978-3-031-75107-3_4

Integrating Formal Methods for Security in Software Security Education

Autoren: Paolo Modesti

Quelle: Informatics in Education, Vol 19, Iss 3, Pp 425-454 (2020)

Schlagwörter: programming abstractions, LC8-6691, constructivism, 4. Education, 05 social sciences, 0102 computer and information sciences, Special aspects of education, 0503 education, 01 natural sciences, software security education, formal methods for security, research-led teaching

Zugangs-URL: https://infedu.vu.lt/journal/INFEDU/article/657/file/pdf
https://doaj.org/article/7a29cad2cd9f4f5c8670f20232889540
https://doaj.org/article/7a29cad2cd9f4f5c8670f20232889540
https://www.ceeol.com/search/article-detail?id=896120
https://doi.org/10.15388/infedu.2020.19
https://research.tees.ac.uk/en/publications/integrating-formal-methods-for-security-in-software-security-educ
http://files.eric.ed.gov/fulltext/EJ1267761.pdf

Trends in data locality abstractions for HPC systems

Weitere Verfasser: Pericas, Miquel [Chalmers Univ. of Technology, Goteborg (Sweden)] (ORCID:0000000275836609)

Quelle: IEEE Transactions on Parallel and Distributed Systems; 28; 10

Dateibeschreibung: Medium: ED; Size: p. 3007-3020

Zugangs-URL: http://www.osti.gov/scitech/servlets/purl/1356837

Trends in Data Locality Abstractions for HPC Systems

Autoren: Unat, Didem Dubey, Anshu Hoefler, Torsten et al.

Quelle: IEEE Transactions on Parallel and Distributed Systems. 28(10)

Schlagwörter: 4606 Distributed Computing and Systems Software (for-2020), 46 Information and Computing Sciences (for-2020), Data locality, programming abstractions, high-performance computing, data layout, locality-aware runtimes, 0803 Computer Software (for), 0805 Distributed Computing (for), 1005 Communications Technologies (for), Distributed Computing (science-metrix), 4606 Distributed computing and systems software (for-2020)

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/8v30n4hf
https://escholarship.org/content/qt8v30n4hf/qt8v30n4hf.pdf

Data Pipes: Declarative Control over Data Movement

Autoren: Vogel, Lukas Ritter, Daniel Porobic, Danica et al.

Quelle: Vogel, L, Ritter, D, Porobic, D, Tözün, P, Wang, T & Lerner, A 2023, Data Pipes: Declarative Control over Data Movement. in Conference on Innovative Data Systems Research. < https://www.cidrdb.org/cidr2023/papers/p55-vogel.pdf >

Schlagwörter: Storage Technologies, Data-Intensive Workloads, Programming Abstractions, Data Transfers, Storage Stack Optimization

Verfügbarkeit: https://pure.itu.dk/portal/da/publications/e0d8e8c6-fe49-44d2-a5e6-a1a6e2c72c6d
https://www.cidrdb.org/cidr2023/papers/p55-vogel.pdf

A formalized framework for mobile cloud computing

Autoren: Amoretti Michele Grazioli Alessandro Senni Valerio et al.

Weitere Verfasser: Amoretti Michele Grazioli Alessandro Senni Valerio et al.

Quelle: Springer Journal of Service Oriented Computing and Applications 9 (2015): 229–248. doi:10.1007/s11761-014-0169-3
info:cnr-pdr/source/autori:Amoretti M.; Grazioli A.; Senni V.; Tiezzi F.; Zanichelli F./titolo:A formalized framework for mobile cloud computing/doi:10.1007%2Fs11761-014-0169-3/rivista:Springer Journal of Service Oriented Computing and Applications/anno:2015/pagina_da:229/pagina_a:248/intervallo_pagine:229–248/volume:9

Schlagwörter: Mobile cloud computing, Programming abstractions, Formal semantics, Middleware design, Middleware design, Programming abstractions, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Formal semantics, Mobile cloud computing, 01 natural sciences, 3. Good health

Zugangs-URL: https://core.ac.uk/display/54655016
https://flore.unifi.it/handle/2158/1243571
https://link.springer.com/article/10.1007/s11761-014-0169-3/fulltext.html
http://doi.org/10.1007/s11761-014-0169-3
https://dblp.uni-trier.de/db/journals/soca/soca9.html#AmorettiGSTZ15
https://rd.springer.com/article/10.1007/s11761-014-0169-3

Tightly-coupled hardware support to dynamic parallelism acceleration in embedded shared memory clusters

Autoren: BURGIO, PAOLO TAGLIAVINI, GIUSEPPE CONTI, FRANCESCO et al.

Quelle: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014. :1-6

Schlagwörter: Engineering controlled terms: Application programming interfaces (API), Benchmarking, Computer programming, Design, Embedded systems, Hardware, Parallel architectures, Semantics Cluster-based architecture, Fine-grained parallelism, Hardware implementations, Modern applications, Multi-core cluster, Programming abstractions, Runtime environments, Synthetic benchmark Engineering main heading: Scheduling, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Dateibeschreibung: application/pdf

Zugangs-URL: https://cris.unibo.it/handle/11585/525125
https://doi.org/10.7873/DATE.2014.169
https://ieeexplore.ieee.org/document/6800370/
https://dl.acm.org/doi/10.5555/2616606.2616798
https://dblp.uni-trier.de/db/conf/date/date2014.html#BurgioTCMB14
http://dblp.uni-trier.de/db/conf/date/date2014.html#BurgioTCMB14
https://hdl.handle.net/11380/1171893
https://doi.org/10.7873/DATE2014.169
https://hdl.handle.net/11585/525125
https://doi.org/10.7873/DATE.2014.169

System-level modelling of dynamic reconfigurable designs using functional programming abstractions

Autoren: Jan Kuper Bahram N. Uchevler Kjetil Svarstad et al.

Quelle: International Symposium on Quality Electronic Design (ISQED). :379-385

Schlagwörter: IR-87636, 0209 industrial biotechnology, EWI-23903, 02 engineering and technology, Self-Reconfiguration, digital circuit verification, Functional HDL, dynamic reconfigurable designs, functional programming abstractions, 0202 electrical engineering, electronic engineering, information engineering, logic design, high-level descriptions, Suzaku-sz410 board, high-level Haskell descriptions, EC Grant Agreement nr.: FP7/248465, synthesizable VHDL, FPGA Design, Higher-order functions, system-level modelling, Run-Time Reconfiguration, CLaSH tool, Field programmable gate arrays, run-time reconfigurable systems, METIS-302553, high-level structures, Formal verification, Partial Evaluation, RT level, partial evaluation implementation technique, Hardware Description Languages

Zugangs-URL: https://research.utwente.nl/en/publications/e0599eaa-a668-4fff-8849-86ec259851c2
https://doi.org/10.1109/ISQED.2013.6523639
https://ieeexplore.ieee.org/document/6523639/
https://research.utwente.nl/en/publications/system-level-modelling-of-dynamic-reconfigurable-designs-using-fu
https://dblp.uni-trier.de/db/conf/isqed/isqed2013.html#UchevlerSKB13

Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach

Autoren: RICCI, ALESSANDRO SANTI, ANDREA

Quelle: Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions. :83-94

Schlagwörter: Programming Abstractions, Autonomous behaviour, Reactive behaviour, Concurrent Programming, Agent-Oriented Programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://dl.acm.org/doi/10.1145/2414639.2414650
https://dblp.uni-trier.de/db/conf/agere/agere2012.html#RicciS12
https://hdl.handle.net/11585/153160
https://doi.org/10.1145/2414639.2414650

Programming Abstractions and Toolchain for Dataflow Multithreading Architectures

Autoren: Stavrou, Kyriakos Pavlou, Demos Nikolaides, Marios et al.

Weitere Verfasser: Stavrou, Kyriakos Pavlou, Demos Nikolaides, Marios et al.

Quelle: 8th International Symposium on Parallel and Distributed Computing, ISPDC 2009

Schlagwörter: Microprocessor chips, Parallel processing systems, Program compilers, 02 engineering and technology, Computer programming, Tools, Multithreading architectures, Abstracting, Code segments, Parallel processing, Dataflow, Programming abstractions, 0202 electrical engineering, electronic engineering, information engineering, Multi-core systems, Abstraction layer

Zugangs-URL: http://www.dii.unisi.it/~giorgi/papers/Stavrou09a.pdf
https://dblp.uni-trier.de/db/conf/ispdc/ispdc2009.html#StavrouPNPETPG09
http://www.dii.unisi.it/~giorgi/papers/Stavrou09a.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005284364
http://dblp.uni-trier.de/db/conf/ispdc/ispdc2009.html#StavrouPNPETPG09
http://ieeexplore.ieee.org/document/5284364/
https://www.dii.unisi.it/~giorgi/papers/Stavrou09a.pdf
http://gnosis.library.ucy.ac.cy/handle/7/55033

Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)

Autoren: Chandrasekaran, Sivaramakrishnan Krishnamoorthy Leijen, Daan Pretnar, Matija et al.

Weitere Verfasser: Chandrasekaran, Sivaramakrishnan Krishnamoorthy Leijen, Daan Pretnar, Matija et al.

Schlagwörter: algebraic effect handlers, implementation techniques, programming abstractions, programming languages

Dateibeschreibung: application/pdf

Relation: Is Part Of Dagstuhl Reports, Volume 8, Issue 4 (2018); https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.104

Verfügbarkeit: https://doi.org/10.4230/DagRep.8.4.104
https://nbn-resolving.org/urn:nbn:de:0030-drops-97623
https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.104

Programming mobile context-aware applications with TOTAM

Autoren: Gonzalez Boix, Elisa Scholliers, Christophe De Meuter, Wolfgang et al.

Weitere Verfasser: Gonzalez Boix, Elisa Scholliers, Christophe De Meuter, Wolfgang et al.

Quelle: Journal of Systems and Software. 92:3-19

Schlagwörter: programming abstractions, Mobile networks, tuple spaces, context-awareness, 0202 electrical engineering, electronic engineering, information engineering, mobile peer-to-peer systems, 02 engineering and technology

Zugangs-URL: http://soft.vub.ac.be/Publications/2013/vub-soft-tr-13-09.pdf
http://soft.vub.ac.be/Publications/2013/vub-soft-tr-13-09.pdf
https://www.sciencedirect.com/science/article/pii/S0164121213001799
https://core.ac.uk/display/23880285
https://dblp.uni-trier.de/db/journals/jss/jss92.html#BoixSMD14
https://biblio.ugent.be/publication/8568005
https://biblio.vub.ac.be/vubir/programming-mobile-contextaware-applications-with-totam(9429db1a-f2af-4fae-9d47-d47c66197601).html
https://hdl.handle.net/20.500.14017/9429db1a-f2af-4fae-9d47-d47c66197601

Programming wireless sensor networks: Fundamental concepts and state of the art

Autoren: MOTTOLA, LUCA Gian Pietro Picco

Quelle: ACM Computing Surveys

Schlagwörter: Computer and Information Sciences, 0202 electrical engineering, electronic engineering, information engineering, Data- och informationsvetenskap, 02 engineering and technology, Middleware, Networked embedded systems, Programming abstractions, Wireless sensor networks

Dateibeschreibung: application/pdf

Zugangs-URL: https://re.public.polimi.it/bitstream/11311/635123/1/survey.pdf
http://home.deib.polimi.it/mottola/papers/mottola10programming.pdf
https://doi.org/10.1145/1922649.1922656
https://dblp.uni-trier.de/db/journals/csur/csur43.html#MottolaP11
https://dl.acm.org/doi/abs/10.1145/1922649.1922656
http://www.diva-portal.org/smash/record.jsf?pid=diva2:1043047
https://dl.acm.org/citation.cfm?id=1922656
https://hdl.handle.net/11572/89813
https://doi.org/10.1145/1922649.1922656
https://hdl.handle.net/11311/635123
https://doi.org/10.1145/1922649.1922656
http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-23968
http://soda.swedishict.se/5176/

Towards Higher-Level Abstractions for Quantum Computing

Autoren: A Cobb Jean-Guy Schneider Kevin Lee

Schlagwörter: Engineering, Electronics, sensors and digital hardware, Information and computing sciences, Software engineering, Physical sciences, Atomic, molecular and optical physics, Computer Science, Theory & Methods, Programming Abstractions, Quantum Computing, Quantum Software Engineering, Science & Technology, Technology

Relation: http://hdl.handle.net/10779/DRO/DU:25583406.v1

Verfügbarkeit: http://hdl.handle.net/10779/DRO/DU:25583406.v1
https://figshare.com/articles/conference_contribution/Towards_Higher-Level_Abstractions_for_Quantum_Computing/25583406

A compiler approach to scalable concurrent-program design

Autoren: Foster, Ian Taylor, Stephen

Quelle: ACM Transactions on Programming Languages and Systems. 16:577-604

Schlagwörter: program composition, Monotonicity, programming abstractions, Design, Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, source-to-source transformations, 7. Clean energy, 12. Responsible consumption

Zugangs-URL: https://authors.library.caltech.edu/27090/1/CS-TR-92-07.pdf
https://dblp.uni-trier.de/db/journals/toplas/toplas16.html#FosterT94
https://dl.acm.org/doi/10.1145/177492.177612
https://doi.acm.org/10.1145/177492.177612
https://dl.acm.org/citation.cfm?id=177612
https://authors.library.caltech.edu/27090/
https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-07

Software Abstractions and Methodologies for HPC Simulation Codes on Future Architectures

Autoren: Anshu Dubey Steve R Brandt Richard Brower et al.

Quelle: Journal of Open Research Software, Vol 2, Iss 1, Pp e14-e14 (2014)

Schlagwörter: Programming Abstractions, Computer software, QA76.75-76.765

Dateibeschreibung: electronic resource

Relation: http://openresearchsoftware.metajnl.com/articles/28; https://doaj.org/toc/2049-9647

Zugangs-URL: https://doaj.org/article/209a69b91a294225a5bd6a69baea03bc

Programming wireless sensor networks: Fundamental concepts and state of the art

Autoren: Luca Mottola Gian Pietro Picco The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Luca Mottola Gian Pietro Picco The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.sics.se/~luca/papers/mottola10programming.pdf.

Schlagwörter: Categories and Subject Descriptors, D.3 [Programming Languages, D.3.2 [Language Classification, D.1 [Programming Techniques, C.2.4 [Distributed Systems, Additional Key Words and Phrases, Wireless Sensor Networks, Networked Embedded Systems, Programming Abstractions, Middleware

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.5922; http://www.sics.se/~luca/papers/mottola10programming.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.5922
http://www.sics.se/~luca/papers/mottola10programming.pdf

µsetl: A set based programming abstraction for wireless sensor networks

Autoren: Mohammad Sajjad Hossain A. B. M. Alim Al Islam et al.

Weitere Verfasser: Mohammad Sajjad Hossain A. B. M. Alim Al Islam et al.

Quelle: https://engineering.purdue.edu/~milind/docs/ipsn11.pdf.

Schlagwörter: General Terms Design, Languages, Performance Keywords Wireless Sensor Networks, Programming Abstractions

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.816

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

Autoren: Timothy W. Hnat Tamim I. Sookoor Pieter Hooimeijer et al.

Weitere Verfasser: Timothy W. Hnat Tamim I. Sookoor Pieter Hooimeijer et al.

Quelle: http://www.cs.virginia.edu/~tis5m/docs/sensys08-macrolab.pdf.

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.5429
http://www.cs.virginia.edu/~tis5m/docs/sensys08-macrolab.pdf