Výsledky vyhľadávania - ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.0: Concurrence

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers

Autori: Abbes, Samy Benveniste, Albert Institute for Systems Research Maryland (ISR) a ďalší

Prispievatelia: Abbes, Samy Benveniste, Albert Institute for Systems Research Maryland (ISR) a ďalší

Zdroj: https://inria.hal.science/inria-00000465 ; [Research Report] PI 1753, 2005, pp.59.

Predmety: True concurrency, probabilistic models, safe Petri nets, Markov nets, law of large numbers \\ Concurrence vraie, modèles probabilistes, réseaux de Petri saufs, réseaux Markoviens, loi des grands nombres, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: Report N°: PI 1753

Dostupnosť: https://inria.hal.science/inria-00000465
https://inria.hal.science/inria-00000465/document
https://inria.hal.science/inria-00000465/file/PI-1753.pdf

Impact of customization over software quality in ERP projects: an empirical study.

Autori: Parthasarathy, Sudhaman Sharma, Srinarayan

Zdroj: Software Quality Journal; Jun2017, Vol. 25 Issue 2, p581-598, 18p

Predmety: ENTERPRISE resource planning software, COMPUTER software quality control, CUSTOMIZATION, INFORMATION resources management, BUSINESS process management

A Novel Distributed Stack Ensembled Meta-Learning-Based Optimized Classification Framework for Real-time Prolific IoT Traffic Streams.

Autori: Snehi, Manish Bhandari, Abhinav

Zdroj: Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ); Aug2022, Vol. 47 Issue 8, p9907-9930, 24p

Predmety: INTERNET of things, CYBER physical systems, INTELLIGENT transportation systems, QUALITY of service, KEY performance indicators (Management), CLASSIFICATION

Lessons Learned from the OS/400 OO Project.

Autori: Berg, William Cline, Marshall Girou, Mike

Zdroj: Communications of the ACM; Oct95, Vol. 38 Issue 10, p54-64, 11p

Predmety: PROGRAMMING languages, C++, SYSTEMS software, COMPUTER operating systems, COMPILERS (Computer programs), COMPUTER interfaces

Composing Software Evolution Process Component.

Autori: Hutchison, David Kanade, Takeo Kittler, Josef a ďalší

Zdroj: Advanced Parallel Processing Technologies (9783540768364); 2007, p684-692, 9p

Chapter 4: Software Process: Early Spiral Model: Article 4-3. Anchoring the Software Process.

Autori: Boehm, Barry W.

Zdroj: Software Engineering (9780470187562); 2007, p367-382, 16p

Dynamic web server construction on the intranet using a change management framework.

Autori: Huh, Soon‐Young Bae, Kyoung‐Ll

Zdroj: Intelligent Systems in Accounting, Finance & Management; Mar1999, Vol. 8 Issue 1, p45-60, 16p

Predmety: INTRANETS (Computer networks), CHANGE management, COMPUTER software development, INFORMATION sharing, INTERNET servers, OBJECT-oriented databases

Janus: a framework to boost HPC applications in the cloud based on SDN path provisioning.

Autori: Pretto, Guilherme R. Dalmazo, Bruno L. Marques, Jonatas A. a ďalší

Zdroj: Cluster Computing; Apr2022, Vol. 25 Issue 2, p947-964, 18p

Predmety: CLOUD computing, VIRTUAL machine systems, COMMUNICATION infrastructure, SOFTWARE-defined networking, SERVER farms (Computer network management), CAPITAL investments

Protection in Operating Systems.

Autori: Harrison, Michael A. Ruzzo, Walter L. Ullman, Jeffrey D. a ďalší

Zdroj: Communications of the ACM; Aug1976, Vol. 19 Issue 8, p461-471, 11p, 4 Diagrams

Predmety: COMPUTER operating systems, COMPUTER security

A Framework for Cosynthesis of Memory and Communication Architectures for MPSoC.

Autori: Pasricha, Sudeep Dutt, Nikil D.

Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Mar2007, Vol. 26 Issue 3, p408-420, 13p, 2 Black and White Photographs, 6 Diagrams, 6 Charts, 9 Graphs

Predmety: COMPUTER memory management, MULTIPROCESSORS, INFORMATION technology, SOFTWARE architecture, COMPUTERS, TELECOMMUNICATION systems

Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets

Autori: Chatain, Thomas Jard, Claude Distributed and Iterative Algorithms for the Management of Telecommunications Systems (DISTRIBCOM) a ďalší

Prispievatelia: Chatain, Thomas Jard, Claude Distributed and Iterative Algorithms for the Management of Telecommunications Systems (DISTRIBCOM) a ďalší

Zdroj: https://inria.hal.science/inria-00000342 ; [Research Report] PI 1740, 2005.

Predmety: Concurrent systems, diagnosis, time Petri nets, unfolding // Systèmes répartis, diagnostic, réseaux de Petri temporels, dépliage, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: Report N°: PI 1740

Dostupnosť: https://inria.hal.science/inria-00000342
https://inria.hal.science/inria-00000342/document
https://inria.hal.science/inria-00000342/file/PI-1740.pdf

A Survey on Performance Optimization of High-Level Synthesis Tools.

Autori: Huang, Lan Li, Da-Lin Wang, Kang-Ping a ďalší

Zdroj: Journal of Computer Science & Technology (10009000); May2020, Vol. 35 Issue 3, p697-720, 24p

Predmety: GATE array circuits, SYSTEMS design, PERFORMANCES, SOFTWARE measurement

Quasi-Static Scheduling of Independent Tasks for Reactive Systems.

Autori: Cortadella, Jordi Kondratyev, Alex Lavagno, Luciano a ďalší

Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Oct2005, Vol. 24 Issue 10, p1492-1514, 23p

Predmety: ELECTRONIC systems, COMPUTER operating systems, GRAPH theory, SYSTEMS software, PETRI nets, NETS (Mathematics)

Structure, Components, and Interfaces of the Airborne Prism Experiment (APEX) Processing and Archiving Facility.

Autori: Hueni, Andreas Biesemans, Jan Meuleman, Koen a ďalší

Zdroj: IEEE Transactions on Geoscience & Remote Sensing; Jan2009, Vol. 47 Issue 1, p29-43, 15p

Predmety: ELECTRONIC systems, RELATIONAL databases, CONFIGURATION management, DETECTORS, WORKFLOW software, DATABASES, ON-demand computing, PARALLEL processing, COMPUTER architecture

Urban Traffic Imaging Using Millimeter-Wave Radar.

Autori: Yang, Bo Zhang, Hua Chen, Yurong a ďalší

Zdroj: Remote Sensing; Nov2022, Vol. 14 Issue 21, p5416, 30p

Predmety: TRACKING radar, CITY traffic, THREE-dimensional imaging, TRAFFIC monitoring, MANAGEMENT information systems, INFORMATION resources management, RADAR, INTELLIGENT transportation systems

How do team cohesion and psychological safety impact knowledge sharing in software development projects?

Autori: Kakar, Adarsh Kumar

Zdroj: Knowledge & Process Management; Oct-Dec2018, Vol. 25 Issue 4, p258-267, 10p, 1 Diagram, 4 Charts

Predmety: COMPUTER software development, KNOWLEDGE management, INFORMATION sharing, PROJECT management, TEAMS in the workplace, COMPUTER software industry

Electronic System-Level Synthesis Methodologies.

Autori: Gerstlauer, Andreas Haubelt, Christian Pimentel, Andy D. a ďalší

Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Oct2009, Vol. 28 Issue 10, p1517-1530, 14p, 8 Diagrams, 1 Chart

Predmety: ELECTRONIC systems, COMPUTER software, COMPUTER input-output equipment, SEMICONDUCTORS, ELECTRONICS

Software verification for large-scale ate systems.

Autori: Howley, P.P. Sadow, G.R.

Zdroj: International Automatic Testing Conference AUTOTESTCON '78; 1978, p76-83, 8p

AFMC: An alignment framework for multiple computing services and providers.

Autori: de Carvalho, Leonardo Reboucas Melo, Alba Cristina Alves Araujo, Aleteia

Zdroj: Concurrency & Computation: Practice & Experience; Aug2023, Vol. 35 Issue 18, p1-19, 19p

Predmety: SEQUENCE alignment, AMINO acid sequence, BIOINFORMATICS software, CLOUD computing, BIOINFORMATICS

Korporácia: AMAZON Web Services Inc.

Coordination of Design Supply Chains for Bundling Physical and Software Products.

Autori: Joglekar, Nitin R. Rosenthal, Stephen R.

Zdroj: Journal of Product Innovation Management; Sep2003, Vol. 20 Issue 5, p374-390, 17p, 2 Charts

Predmety: NEW product development, PRODUCT management, SUPPLY chains, COMPUTER software, ORIGINAL equipment manufacturers, COMMERCIAL products