Search Results - 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

Authors: Abbes, Samy Benveniste, Albert Institute for Systems Research Maryland (ISR) et al.

Contributors: Abbes, Samy Benveniste, Albert Institute for Systems Research Maryland (ISR) et al.

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

Subject Terms: 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

Availability: 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.

Authors: Parthasarathy, Sudhaman Sharma, Srinarayan

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

Subject Terms: 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.

Authors: Snehi, Manish Bhandari, Abhinav

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

Subject Terms: 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.

Authors: Berg, William Cline, Marshall Girou, Mike

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

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

Composing Software Evolution Process Component.

Authors: Hutchison, David Kanade, Takeo Kittler, Josef et al.

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

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

Authors: Boehm, Barry W.

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

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

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

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

Subject Terms: 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.

Authors: Pretto, Guilherme R. Dalmazo, Bruno L. Marques, Jonatas A. et al.

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

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

Protection in Operating Systems.

Authors: Harrison, Michael A. Ruzzo, Walter L. Ullman, Jeffrey D. et al.

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

Subject Terms: COMPUTER operating systems, COMPUTER security

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

Authors: Pasricha, Sudeep Dutt, Nikil D.

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

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

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

Authors: Chatain, Thomas Jard, Claude Distributed and Iterative Algorithms for the Management of Telecommunications Systems (DISTRIBCOM) et al.

Contributors: Chatain, Thomas Jard, Claude Distributed and Iterative Algorithms for the Management of Telecommunications Systems (DISTRIBCOM) et al.

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

Subject Terms: 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

Availability: 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.

Authors: Huang, Lan Li, Da-Lin Wang, Kang-Ping et al.

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

Subject Terms: GATE array circuits, SYSTEMS design, PERFORMANCES, SOFTWARE measurement

Quasi-Static Scheduling of Independent Tasks for Reactive Systems.

Authors: Cortadella, Jordi Kondratyev, Alex Lavagno, Luciano et al.

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

Subject Terms: 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.

Authors: Hueni, Andreas Biesemans, Jan Meuleman, Koen et al.

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

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

Urban Traffic Imaging Using Millimeter-Wave Radar.

Authors: Yang, Bo Zhang, Hua Chen, Yurong et al.

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

Subject Terms: 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?

Authors: Kakar, Adarsh Kumar

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

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

Electronic System-Level Synthesis Methodologies.

Authors: Gerstlauer, Andreas Haubelt, Christian Pimentel, Andy D. et al.

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

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

Software verification for large-scale ate systems.

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

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

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

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

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

Subject Terms: SEQUENCE alignment, AMINO acid sequence, BIOINFORMATICS software, CLOUD computing, BIOINFORMATICS

Company/Entity: AMAZON Web Services Inc.

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

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

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

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