المؤلفون: Spenger, Jonas, Huang, Chengyang, Haller, Philipp, Carbone, Paris

المصدر: Proceedings of the VLDB Endowment. :4054-4057

مصطلحات موضوعية: ’current, Composition frameworks, Data streaming, Dataflow, Dataflow graphs, Failure resilience, Flexible programming, IS failure, Programming framework, Streaming systems, Data flow analysis

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-67702Test
https://doi.org/10.14778/3611540.3611619Test

المؤلفون: Mario Cortes‐Cornax, Paula Lago, Claudia Roncancio

المصدر: IET Software, Vol 17, Iss 4, Pp 424-434 (2023)

مصطلحات موضوعية: cyber‐physical systems, data flow analysis, design engineering, environmental monitoring (geophysics), Internet of Things, ISO standards, Computer software, QA76.75-76.765

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/1751-8806Test; https://doaj.org/toc/1751-8814Test

الوصول الحر: https://doaj.org/article/14ecb2a2a5f1403aa9d73d35df5832f5Test

المؤلفون: Lundén, Daniel, Öhman, Joey, Kudlicka, Jan, Senderov, Viktor, Ronquist, Fredrik, 1962, Broman, David

المصدر: Programming Languages and Systems Lecture Notes in Computer Science. :29-56

مصطلحات موضوعية: Compilers, GPU Compilation, Probabilistic Programming Languages, Sequential Monte Carlo, Application programming interfaces (API), C++ (programming language), Data flow analysis, Flow graphs, Graphics processing unit, Monte Carlo methods, Automatic inference, Control-flow graphs, Inference problem, Language implementations, Low-level language, Monte Carlo inference, Probabilistic programming language, Real-world problem, Program compilers

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-206351Test
https://doi.org/10.1007/978-3-030-99336-8_2Test

المؤلفون: Hedenborg, Mathias, Lundberg, Jonas, 1964, Löwe, Welf, Trapp, Martin

المصدر: Theory of Computing Systems. 66:911-956

مصطلحات موضوعية: Static program analysis, Data-flow analysis, Context-sensitivity, Data- och informationsvetenskap, Computer and Information Sciences Computer Science

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-115519Test
https://doi.org/10.1007/s00224-022-10093-wTest
https://lnu.diva-portal.org/smash/get/diva2:1683689/FULLTEXT01.pdfTest

المؤلفون: Riouak, Idriss

المصدر: ELLIIT: the Linköping-Lund initiative on IT and mobile communication.

مصطلحات موضوعية: Static program analysis, Declarative paradigms, Reference Attribute Grammars, Control flow analysis, Data flow analysis, IntraCFG framework, Bug detection, IntraJ Static Analyser, Interactive bug detection and fixing, JFeature Static Analyser, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Programvaruteknik, Natural Sciences, Computer and Information Science, Software Engineering

وصف الملف: electronic

الوصول الحر: https://lup.lub.lu.se/record/9a49a9e6-ab68-4c67-af67-6963782a128dTest
https://portal.research.lu.se/files/138416191/2023_IdrissRiouak_Lic.pdfTest

المؤلفون: Spenger, Jonas, Carbone, Paris, Haller, Philipp

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (LNCS,volume 14360). :123-146

مصطلحات موضوعية: Active Objects, Actor Model, Cloud Computing, Dataflow, Distributed Programming, Serverless Computing, Stateful Serverless, Data flow analysis, Electric loads, Active object, Actor models, Cloud-computing, Computing model, Programming models, Scalings

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-71993Test

المؤلفون: Pan YANG, Fei KANG, Hui SHU, Yuyao HUANG, Xiaoshao LYU

المصدر: 网络与信息安全学报, Vol 9, Iss 2, Pp 115-131 (2023)

مصطلحات موضوعية: function summary, taint analysis, data flow analysis, fstaint, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://www.infocomm-journal.com/cjnis/CN/10.11959/j.issn.2096-109x.2023026Test; https://doaj.org/toc/2096-109XTest

الوصول الحر: https://doaj.org/article/6c3390037c7944d7965b5dc706f9f4bcTest

المؤلفون: Troost, Laura

مصطلحات موضوعية: ddc:650, Data-Flow Analysis, Bytecode Instrumentation, Language Server Protocol

العلاقة: Series: ERCIS Working Paper; No. 40; gbv-ppn:1884470122; https://hdl.handle.net/10419/287758Test; RePEc:zbw:ercisw:287758

الإتاحة: https://hdl.handle.net/10419/287758Test

المؤلفون: Houtan, Bahar, 1989, Ashjaei, Seyed Mohammad Hossein, 1980, Daneshtalab, Masoud, Sjödin, Mikael, 1971, Mubeen, Saad

المصدر: Journal of systems architecture. 141

مصطلحات موضوعية: Distributed embedded systems, Real-time systems, Time-sensitive networking, Data communication systems, Data flow analysis, Data transfer, Embedded systems, IEEE Standards, Interactive computer systems, Real time systems, Data propagation, Delay analysis, Distributed embedded system, End to end, Extended analysis, Offline, Propagation delays, Real - Time system, Traffic class, Synchronization

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-63666Test
https://doi.org/10.1016/j.sysarc.2023.102911Test

المؤلفون: Conté, Sana

المساهمون: Leite, Nuno, Simão, José, RCIPL

مصطلحات موضوعية: Análise estática de código, Aprendizagem automática, Control flow graph, Deteção de vulnerabilidades, Extração de caracteristicas, Data-flow analysis, Machine learning, Reaching definitions, Static-code analysis

وصف الملف: application/pdf

العلاقة: Conté, Sana - Software weaknesses detection using static-code analysis and machine learning techniques. Lisboa: Instituto Superior de Engenharia de Lisboa, 2023. Dissertação de Mestrado

الإتاحة: http://hdl.handle.net/10400.21/16979Test