Výsledky vyhledávání - "Programming Abstractions"

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

Autoři: Tutuncuoglu, Feridun Dán, György

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

Témata: 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

Popis souboru: print

Přístupová URL adresa: 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

Autoři: Audrito, Giorgio Damiani, Ferruccio Torta, Gianluca

Zdroj: Lecture Notes in Computer Science ISBN: 9783031751066

Témata: Aggregate Computing, Programming abstractions, Real-time guarantees, Self-organising systems

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Paolo Modesti

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

Témata: 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

Přístupová URL adresa: 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

Přispěvatelé: Pericas, Miquel [Chalmers Univ. of Technology, Goteborg (Sweden)] (ORCID:0000000275836609)

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

Popis souboru: Medium: ED; Size: p. 3007-3020

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/1356837

Trends in Data Locality Abstractions for HPC Systems

Autoři: Unat, Didem Dubey, Anshu Hoefler, Torsten a další

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

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/8v30n4hf
https://escholarship.org/content/qt8v30n4hf/qt8v30n4hf.pdf

Data Pipes: Declarative Control over Data Movement

Autoři: Vogel, Lukas Ritter, Daniel Porobic, Danica a další

Zdroj: 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 >

Témata: Storage Technologies, Data-Intensive Workloads, Programming Abstractions, Data Transfers, Storage Stack Optimization

Dostupnost: 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

Autoři: Amoretti Michele Grazioli Alessandro Senni Valerio a další

Přispěvatelé: Amoretti Michele Grazioli Alessandro Senni Valerio a další

Zdroj: 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

Témata: 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

Přístupová URL adresa: 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

Autoři: BURGIO, PAOLO TAGLIAVINI, GIUSEPPE CONTI, FRANCESCO a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Jan Kuper Bahram N. Uchevler Kjetil Svarstad a další

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

Témata: 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

Přístupová URL adresa: 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

Autoři: RICCI, ALESSANDRO SANTI, ANDREA

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

Témata: Programming Abstractions, Autonomous behaviour, Reactive behaviour, Concurrent Programming, Agent-Oriented Programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: 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

Autoři: Stavrou, Kyriakos Pavlou, Demos Nikolaides, Marios a další

Přispěvatelé: Stavrou, Kyriakos Pavlou, Demos Nikolaides, Marios a další

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

Témata: 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

Přístupová URL adresa: 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)

Autoři: Chandrasekaran, Sivaramakrishnan Krishnamoorthy Leijen, Daan Pretnar, Matija a další

Přispěvatelé: Chandrasekaran, Sivaramakrishnan Krishnamoorthy Leijen, Daan Pretnar, Matija a další

Témata: algebraic effect handlers, implementation techniques, programming abstractions, programming languages

Popis souboru: 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

Dostupnost: 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

Autoři: Gonzalez Boix, Elisa Scholliers, Christophe De Meuter, Wolfgang a další

Přispěvatelé: Gonzalez Boix, Elisa Scholliers, Christophe De Meuter, Wolfgang a další

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

Témata: programming abstractions, Mobile networks, tuple spaces, context-awareness, 0202 electrical engineering, electronic engineering, information engineering, mobile peer-to-peer systems, 02 engineering and technology

Přístupová URL adresa: 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

Autoři: MOTTOLA, LUCA Gian Pietro Picco

Zdroj: ACM Computing Surveys

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: A Cobb Jean-Guy Schneider Kevin Lee

Témata: 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

Dostupnost: 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

Autoři: Foster, Ian Taylor, Stephen

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

Témata: 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

Přístupová URL adresa: 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

Autoři: Anshu Dubey Steve R Brandt Richard Brower a další

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

Témata: Programming Abstractions, Computer software, QA76.75-76.765

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/209a69b91a294225a5bd6a69baea03bc

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

Autoři: Luca Mottola Gian Pietro Picco The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Luca Mottola Gian Pietro Picco The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

Dostupnost: 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

Autoři: Mohammad Sajjad Hossain A. B. M. Alim Al Islam a další

Přispěvatelé: Mohammad Sajjad Hossain A. B. M. Alim Al Islam a další

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

Témata: General Terms Design, Languages, Performance Keywords Wireless Sensor Networks, Programming Abstractions

Popis souboru: application/pdf

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

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

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

Autoři: Timothy W. Hnat Tamim I. Sookoor Pieter Hooimeijer a další

Přispěvatelé: Timothy W. Hnat Tamim I. Sookoor Pieter Hooimeijer a další

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

Témata: 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

Popis souboru: application/pdf

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

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