Výsledky vyhledávání - "Program interpreters"

Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs

Autoři: Li, Feng Pop, Antoniu Cohen, Albert

Přispěvatelé: Li, Feng Pop, Antoniu Cohen, Albert

Zdroj: Li, F, Pop, A & Cohen, A 2012, 'Automatic extraction of coarse-grained data-flow threads from imperative programs', IEEE Micro, vol. 32, no. 4, 6216345, pp. 19-31. https://doi.org/10.1109/MM.2012.49

Témata: sequential imperative program transformation, data parallelism, imperative programs, program dependence graph, 02 engineering and technology, Synchronization, Instruction sets, data flow graphs, Parallel processing, 0202 electrical engineering, electronic engineering, information engineering, Sequential analysis, GNU compiler collection, SSA form, automatic recursive C program parallelization, task extraction, program interpreters, data flow computing, arbitrary control flow, loop fusion, parallel programming, automatic parallelization, sequential imperative programs, program compilers, 16. Peace & justice, Radiation detectors, automatic coarse-grained data-flow thread extraction, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Pipeline processing, parallel data-flow programs, data-flow model

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.archives-ouvertes.fr/hal-00906099/file/paper.pdf
https://hal.science/hal-00906099v1
https://doi.org/10.1109/mm.2012.49
https://hal.science/hal-00906099v1/document

Aspect-oriented design and implementation of adaptable access control for Electronic Medical Records

Autoři: Chen, Kung Wang, Da-Wei Chang, Yuan-Chun a další

Přispěvatelé: Chen, Kung Wang, Da-Wei Chang, Yuan-Chun a další

Zdroj: International Journal of Medical Informatics. 79:181-203

Témata: Aspect-oriented programming, Electronic medical record, Taiwan, Electric relays, 02 engineering and technology, Software prototyping, Implementation scheme, Medical computing, Access to Information, Computer Communication Networks, Electronic Medical Record, Security systems, medical information system, computer program, Runtimes, 0202 electrical engineering, electronic engineering, information engineering, Aspect-J, medical informatics, Electronic Health Records, XML format, Access control, human, Access control logic, Internet, access to information, web browser, article, Aspect-oriented designs, EMR systems, Prototype implementations, priority journal, Dynamic adjustment, Synthesis (chemical), Program interpreters, Aspect-oriented, Computer systems programming, aspect oriented programming, Confidentiality, Software

Popis souboru: 4815018 bytes; application/pdf

Přístupová URL adresa: https://pubmed.ncbi.nlm.nih.gov/20117962
https://www.sciencedirect.com/science/article/pii/S1386505610000055
https://www.ncbi.nlm.nih.gov/pubmed/20117962
https://dblp.uni-trier.de/db/journals/ijmi/ijmi79.html#ChenCW10
http://nccur.lib.nccu.edu.tw/handle/140.119/75902
https://europepmc.org/article/MED/20117962

Catching the Ouroboros: On debugging non-ground answer-set programs

Autoři: Oetsch, Johannes Pührer, Jörg Tompits, Hans

Zdroj: Theory and Practice of Logic Programming. 10(4-6):513-529

Témata: answer-set programming, debugging, program analysis, Answer set, Debuggers, Integer arithmetic, Meta Programming, Program interpreters, Program debugging

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-63582

VisualJVM: A Visual Tool for Teaching Java Technology

Autoři: Garrido Abenza, Pedro Pablo Ledesma Latorre, Bernardo Grediaga Olivo, Ángel a další

Přispěvatelé: Garrido Abenza, Pedro Pablo Ledesma Latorre, Bernardo Grediaga Olivo, Ángel a další

Zdroj: IEEE Transactions on Education. 51:86-92

Témata: Educational technology, Java language, User interfaces, 4. Education, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, Program interpreters, 02 engineering and technology, Object-oriented programming (OOP), Arquitectura y Tecnología de Computadores, 0503 education

Přístupová URL adresa: https://rua.ua.es/dspace/bitstream/10045/12111/4/visualjvm_toe2008.pdf
https://dblp.uni-trier.de/db/journals/te/te51.html#AbenzaOL08
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4448424&isnumber=4448415
http://rua.ua.es/dspace/handle/10045/12111
https://rua.ua.es/dspace/bitstream/10045/12111/4/visualjvm_toe2008.pdf
https://ui.adsabs.harvard.edu/abs/2008ITEdu..51...86G/abstract
http://ieeexplore.ieee.org/document/4448424/
https://hdl.handle.net/10045/12111

A history-based scheme for accelerating Prolog interpretation

Autoři: Malhotra, Vishv Mohan Van To, Tang

Zdroj: [Proceedings 1989] IEEE International Workshop on Tools for Artificial Intelligence. :482-489

Témata: PROLOG, Performance evaluation, Program interpreters

Přístupová URL adresa: https://dspace.flinders.edu.au/xmlui/bitstream/2328/25833/1/Malhotra%20History-based.pdf
https://ieeexplore.ieee.org/document/65357/
https://dblp.uni-trier.de/db/conf/ictai/ictai1989.html#MalhotraT89
https://dspace.flinders.edu.au/xmlui/handle/2328/25833

Synthesized corpora to evaluate fuzzing for green internet of things programs

Autoři: Zhu, Xiaogang Wen, Sheng Jolfaei, Alireza a další

Zdroj: Zhu , X , Wen , S , Jolfaei , A , Camtepe , S & Xiang , Y 2021 , ' Synthesized corpora to evaluate fuzzing for green internet of things programs ' , IEEE Transactions on Green Communications and Networking , vol. 5 , no. 3 , pp. 1041-1050 . https://doi.org/10.1109/TGCN.2021.3068466

Témata: Internet, security, program interpreters, software performance, green Internet of Things, vulnerability analysis, fuzzing, synthetic corpora, performance evaluation

Dostupnost: https://researchers.mq.edu.au/en/publications/1ba58b6f-4923-4b22-9bd9-aa92be56e97b
https://doi.org/10.1109/TGCN.2021.3068466
http://www.scopus.com/inward/record.url?scp=85103254222&partnerID=8YFLogxK

Controlling The Tempest - Adaptive management in advanced ATM control architectures

Autoři: D.A. Halls J.G. Rooney The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: D.A. Halls J.G. Rooney The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cl.cam.ac.uk/Research/SRG/netos/old-projects/dcan/papers/tempest-man.ps.gz.

Témata: Distributed control, Networks, Program interpreters List of Figures

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.8476
http://www.cl.cam.ac.uk/Research/SRG/netos/old-projects/dcan/papers/tempest-man.ps.gz

Reducing Behavioural to Structural Properties of Programs with Procedures

Autoři: Gurov, Dilian Huisman, Marieke

Zdroj: VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION LECTURE NOTES IN COMPUTER SCIENCE. :136-150

Témata: Abstracting, Concurrency control, Model checking, Program interpreters, Program translators, Software prototyping, Translation (languages), Characterisation, Control flow graph (CFG), Program correctness, Program properties, Program structures, Prototype implementations, Recursion, TECHNOLOGY, Information technology, Computer science, TEKNIKVETENSKAP, Informationsteknik, Datavetenskap

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-31214

A Gentle Introduction to Multi-stage Programming, Part II

Autoři: Taha, Walid, 1971

Zdroj: Generative and Transformational Techniques in Software Engineering II Lecture Notes in Computer Science. :260-290

Témata: Paper, Program interpreters, Software engineering, TECHNOLOGY, Information technology, Computer science, TEKNIKVETENSKAP, Informationsteknik, Datavetenskap

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-14410

GRISSOM web based grid portal: Exploiting the power of grid infrastructure for the interpretation and storage of DNA microarray experiments

Autoři: Chatziioannou, A. Kanaris, I. Maglogiannis, I. a další

Zdroj: http://www.scopus.com/inward/record.url?eid=2-s2.0-77949589386&partnerID=40&md5=8b2c2ca89750228a79371ae09269858c.

Témata: Grid portal, Grid web services, GRISSOM, Microarray analysis, Biological research, Data intensive, Distributed processing, DNA micro-array, Gene expression patterns, Grid infrastructures, Grid portals, Grid resource, High-throughput, Living organisms, Microarray experiments, Open Source Software, Quantitative data, Web based, Web service technology, Web-based solutions, Work-flows, Biochips, Biology, DNA, Gene expression, Information technology, Open systems, Program interpreters, Query languages, Web services

Relation: http://hdl.handle.net/11615/26607

Dostupnost: http://hdl.handle.net/11615/26607
https://doi.org/10.1109/ITAB.2009.5394410

Symmetry analysis of extinction rules in diffuse-scattering experiments

Autoři: Withers, Raymond Aroyo, M Perez-Mato, J M a další

Zdroj: Acta Crystallographica Section B: Structural Science

Témata: Keywords: Computer program, Diffuse scattering, Disordered materials, Experimental data, Scattering data, Scattering distributions, Scattering intensity, Scattering vectors, Selection Rules, Space Groups, Symmetry analysis, Phonons, Program interpreters, Scattering Diffuse scattering, Disorder, Extinction, Symmetry, socio, edu

Relation: http://hdl.handle.net/1885/59679

Dostupnost: http://hdl.handle.net/1885/59679

A rule-based approach for improving allocation of filter structures in HLS

Autoři: Öberg, Johnny Isoaho, Jouni Ellervee, Peeter a další

Zdroj: Ninth International Conference on VLSI Design, 1996. Proceedings. :133-139

Témata: CDFG subgraphs, EARLI, Enhanced AIlocation Rule Language Interpreter, area gain, direct mapping, filter structures allocation, filter systems synthesis, high level synthesis, optimisations, preoptimised RTL-level macroblocks, rule based allocator, transformations, VLSI, circuit CAD, circuit optimisation, digital filters, integrated circuit design, knowledge based systems, program interpreters

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-73097

Symmetry analysis of extinction rules in diffuse scattering experiments

Autoři: R. L. Withers M. I. Aroyo J. M. Perez-Mato a další

Zdroj: Acta Crystallographica Section A Foundations of Crystallography. 66:s60-s60

Témata: Scattering Diffuse scattering, Experimental data, Extinction, Diffuse scattering, Scattering intensity, 01 natural sciences, Keywords: Computer program, 0104 chemical sciences, Symmetry, Scattering distributions, Space Groups, Scattering data, Disordered materials, Disorder, Phonons, Program interpreters, Selection Rules, Symmetry analysis, Scattering vectors

Přístupová URL adresa: http://journals.iucr.org/a/issues/2010/a1/00/a45930/a45930.pdf
https://pubmed.ncbi.nlm.nih.gov/20484802
https://www.ncbi.nlm.nih.gov/pubmed/20484802
https://openresearch-repository.anu.edu.au/handle/1885/59679
https://scripts.iucr.org/cgi-bin/paper?S0108768110009031
https://pubmed.ncbi.nlm.nih.gov/20484802/
https://digitalcollections.anu.edu.au/handle/1885/59679
https://onlinelibrary.wiley.com/doi/abs/10.1107/S0108768110009031
http://scripts.iucr.org/cgi-bin/paper?S0108767310098697

A consistent approach to assess safety criteria for reactivity initiated accidents

Autoři: Sartoris, C. Taisne, A. Petit, M. a další

Přispěvatelé: Sartoris, C. Taisne, A. Petit, M. a další

Zdroj: ISSN: 0029-5493.

Témata: A-thermal, Analytical tests, Burn up, Burst tests, Calculation tools, Computing codes, Critical flaw, Current safety, Discharge burn-up, Energy pulse, Envelope curve, Experimental data, Experimental database, Failure risk, Fuel assembly, Nuclear safety research reactors, Physical mechanism, Physical phenomena, Program outcomes, Reactivity initiated accident, Safety criterion, Zero-power, Zircaloy-4, Accidents, Computer science, Mooring, Program interpreters, Reactivity (nuclear), Vibration measurement, Zirconium alloys

Dostupnost: https://hal.science/hal-02972624
https://doi.org/10.1016/j.nucengdes.2009.10.025

Interpretation and calculations for the first series of tests for the ARTEMIS program (corium-concrete interaction with simulating materials)

Autoři: Michel, B. Cranga, M. Institut de Radioprotection et de Sûreté Nucléaire (IRSN)

Přispěvatelé: Michel, B. Cranga, M. Institut de Radioprotection et de Sûreté Nucléaire (IRSN)

Zdroj: ISSN: 0029-5493.

Témata: Concretes, Dissolution, Lakes, Phase separation, Program interpreters, Testing, ARTEMIS, Equilibrium phase, Experimental programs, Gas velocities, Interface descriptions, Liquid pools, New models, Semi-solid state, Significant impacts, Solid mass, Thermal resistances, Thermodynamic equilibrium, Phase interfaces, [PHYS]Physics [physics]

Dostupnost: https://hal.science/hal-02985065
https://doi.org/10.1016/j.nucengdes.2008.11.011

An efficient mechanism for searching arabic audio libraries

Autoři: Kamel, Ibrahim Talhami, Habib

Zdroj: All Works

Témata: Bibliographic information, Class-based language models, n-gram language models (LM), Sematic classes, Control systems, Database systems, Indexing (of information), Libraries, Program interpreters, Query languages, Semantics, Vocabulary control, Radio studios, Computer Sciences

Relation: https://zuscholars.zu.ac.ae/works/434; https://doi.org/10.1109/MMSE.2004.24

Dostupnost: https://zuscholars.zu.ac.ae/works/434
https://doi.org/10.1109/mmse.2004.24

Context-sensitive analysis of obfuscated x86 executables

Autoři: Lakhotia, Arun Boccardo, Davidson R. Singh, Anshuman a další

Přispěvatelé: Lakhotia, Arun Boccardo, Davidson R. Singh, Anshuman a další

Témata: Analysis of bianries, Context-sensitive analysis, Deobfuscation, Obfuscation, Abstract interpretations, Context sensitivity, Context-sensitive, Control flow graphs, Executables, Inter-procedural, Inter-procedural analysis, Procedure call, Specific semantics, Mathematical operators, Program interpreters, Technical presentations, Java programming language

Relation: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation; http://hdl.handle.net/11449/71657; http://acervodigital.unesp.br/handle/11449/71657; http://dx.doi.org/10.1145/1706356.1706381

Dostupnost: http://acervodigital.unesp.br/handle/11449/71657
http://hdl.handle.net/11449/71657
https://doi.org/10.1145/1706356.1706381

Monitoring the invasion of Phragmites australis in coastal marshes of Louisiana, USA, using multi-source remote sensing data

Autoři: Rosso, P.H. Cronin, J.T. Stevens, R.D.

Témata: Coastal marshlands, Geographic information systems, Geology, Landforms, Lidar, Multispectral data, Object oriented classification, Phragmites invasion, Program interpreters, Remote sensing, Optical radar, Segmentation, Environmental engineering

Relation: Proceedings of SPIE - The International Society for Optical Engineering; https://osnascholar.ub.uni-osnabrueck.de/handle/unios/16315; 2-s2.0-62449123271; https://www.scopus.com/inward/record.uri?eid=2-s2.0-62449123271&doi=10.1117%2f12.800269&partnerID=40&md5=1aca80ebc220eceef1c535312ac7ca41

Dostupnost: https://osnascholar.ub.uni-osnabrueck.de/handle/unios/16315
https://doi.org/10.1117/12.800269
https://www.scopus.com/inward/record.uri?eid=2-s2.0-62449123271&doi=10.1117%2f12.800269&partnerID=40&md5=1aca80ebc220eceef1c535312ac7ca41

Quantum Data and Control Made Easier

Autoři: Lampis, M Ginis, KG Papakyriakou, MA a další

Témata: denotational semantics, Functional quantum programming language, type system, Computer programming languages, Computer software, Function evaluation, Functional programming, Information theory, Java programming language, Mathematical transformations, Program interpreters, Quantum optics, Quantum theory, Control constructs, density matrices, Elsevier (CO), Haskell, Higher-order functions, Programming language, quantum algorithms, Quantum data, Quantum states, Type systems, Unitary transformations, Semantics

Relation: https://dspace.lib.ntua.gr/xmlui/handle/123456789/19109; 210; C; 85; 105

Dostupnost: https://dspace.lib.ntua.gr/xmlui/handle/123456789/19109
https://doi.org/10.1016/j.entcs.2008.04.020

Exact computation of max weighted score estimators

Autoři: Florios, K Skouras, S

Témata: Estimator computation, Maximum score, Mixed integer programming, Work-trip mode choice, Economics, Mathematics, Interdisciplinary Applications, Social Sciences, Mathematical Methods, Heuristic methods, Integer programming, Plasma waves, Program interpreters, Computationally efficient, Disjunctive constraints, Estimation problems, Exact computations, Mixed-integer programs, Mode choice, Monte carlo study, Reasonable time, Estimation

Relation: https://dspace.lib.ntua.gr/xmlui/handle/123456789/18814; ISI:000260271900007; 146; 86; 91

Dostupnost: https://dspace.lib.ntua.gr/xmlui/handle/123456789/18814
https://doi.org/10.1016/j.jeconom.2008.05.018