Search Results - Reliability Keywords Concurrent Object-Oriented Programming

A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations.

Authors: Hocaoğlu, Mehmet Fatih

Source: Simulation; Sep2025, Vol. 101 Issue 9, p951-979, 29p

Subject Terms: PETRI nets, LOGIC programming, SCHEDULING, SIMULATION methods & models, DISCRETE event simulation, MODULAR design

F.: Dynamic detection of atomic-set-serializability violations

Authors: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip et al.

Contributors: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip et al.

Source: http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, D.2.4 [Software Engineering, Software/Program Verification—Reliability, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atom- icity, Serializability, Dynamic Analysis

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.554.292
http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf

Dynamic Detection of Atomic-Set-Serializability Violations

Authors: Christian Hammer Julian Dolby Mandana Vaziri et al.

Contributors: Christian Hammer Julian Dolby Mandana Vaziri et al.

Source: http://www.infosun.fim.uni-passau.de/st/papers/icse08/icse08-hammer.pdf.

Subject Terms: Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atomicity, Serializability, Dynamic Analysis

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.5310
http://www.infosun.fim.uni-passau.de/st/papers/icse08/icse08-hammer.pdf

Associating synchronization constraints with data in an object-oriented language

Authors: Mandana Vaziri Frank Tip Julian Dolby et al.

Contributors: Mandana Vaziri Frank Tip Julian Dolby et al.

Source: http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming-parallel programming, D.2.4 [Software Engineering, Software/Program Verification-reliability, F.3.1 [Logics And Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Theory Keywords Concurrent Object-Oriented Programming, Data Races, Serializability, Programming Model

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.9435; http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.9435
http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf

Ambiance: adaptive object modelbased platform for macroprogramming sensor networks

Authors: Reza Razavi Kirill Mechitov Jean-françois Perrot et al.

Contributors: Reza Razavi Kirill Mechitov Jean-françois Perrot et al.

Source: http://pdf.aminer.org/000/305/902/object_models_for_model_based_applications.pdf.

Subject Terms: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-oriented Programming – metalevel architec- tures, D.3.2 [Programming Languages, Language Classifica- tions – Specialized application languages, D.3.3 [Programming Languages, Language Constructs and Features – Concurrent programming structures, D.3.4 [Programming Languages, Processors – Code generation, Runtime environments. General Terms Design, Languages, Verification, Reliability. Keywords Sensor Networks, Actors, Adaptive Object-Models 1. Ambient Intelligence and Sensor Networks

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.1325; http://pdf.aminer.org/000/305/902/object_models_for_model_based_applications.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.1325
http://pdf.aminer.org/000/305/902/object_models_for_model_based_applications.pdf

DOUBLE INCLINED CRACKS OVERLAPPING EFFECT ON MIXED STRESS INTENSITY FACTORS USING XFEM OBJECT-ORIENTED IMPLEMENTATION.

Alternate Title: ВПЛИВ ПОДВІЙНИХ ПОХИЛИХ ТРІЩИН, ЩО ПЕРЕКРИВАЮТЬСЯ, НА ЗМІШАНІ ФАКТОРИ ІНТЕНСИВНОСТІ НАПРУГИ З ВИКОРИСТАННЯМ ОБ’ЄКТНО-ОРІЄНТОВАНОЇ РЕАЛІЗАЦІЇ XFEM. (Ukrainian)

Authors: Chabane, Rebadj Moussaoui, Sabah Belgasmia, Mourad

Source: Technology Audit & Production Reserves; 2024, Vol. 1 Issue 4(75), p12-18, 7p

Subject Terms: DETERIORATION of materials, CONSTRUCTION project management, OBJECT-oriented programming, FINITE element method, INHOMOGENEOUS materials

Reliability analysis of pier under combined effect of scour and earthquake.

Authors: Khalid, Mohd Muzzammil, Mohammad Alam, Javed

Source: ISH Journal of Hydraulic Engineering; Nov2025, Vol. 31 Issue 5, p865-884, 20p

Subject Terms: BRIDGE design & construction, EARTHQUAKES, HAZARDS, EROSION, ENGINEERING reliability theory, FAILURE analysis, GROUND motion, CONCRETE columns

Geographic Terms: JHELUM River (India & Pakistan)

A Survey on Object-Oriented Assembly and Disassembly Operations in Nuclear Applications.

Authors: Liu, Wenxing Caliskanelli, Ipek Niu, Hanlin et al.

Source: Big Data & Cognitive Computing; May2025, Vol. 9 Issue 5, p118, 47p

Subject Terms: NUCLEAR fusion, MATERIALS handling, RADIOACTIVE substances, NUCLEAR reactor materials, ROBOTICS

Review of hierarchy in Petri Nets.

Authors: Markiewicz, Michał Gniewek, Lesław

Source: International Journal of Electronics & Telecommunications; 2025, Vol. 71 Issue 3, p1-9, 9p

Subject Terms: PETRI nets, SYSTEMS design, TECHNOLOGICAL complexity, TAXONOMY, AUTOMATION equipment, APPLIED sciences

Computer-aided process planning, digital twin, and smart manufacturing: interconnections and integration in CNC machining processes.

Authors: Afif, Muhammad Fadhlan Sarhan, Ahmed Aly Diaa

Source: International Journal of Production Research; Dec2025, Vol. 63 Issue 24, p9593-9632, 40p

Refactoring for Java-Structured Concurrency.

Authors: Zhang, Yang Shen, Gaojie Zhang, Liyan et al.

Source: Applied Sciences (2076-3417); Mar2025, Vol. 15 Issue 5, p2407, 21p

Subject Terms: PARALLEL programming

A concurrent constraint programming interpretation of access permissions.

Authors: OLARTE, CARLOS PIMENTEL, ELAINE RUEDA, CAMILO

Source: Theory & Practice of Logic Programming; Mar2018, Vol. 18 Issue 2, p252-295, 44p

Subject Terms: OBJECT-oriented programming languages, COMPUTER programming, AUTOMATIC theorem proving, ARTIFICIAL intelligence, COMPUTER software

Learner stimulus intent: a framework for eye tracking data collection and feature extraction in computer programming education.

Authors: Chandrika, K. R. Amudha, J.

Source: Scientific Reports; 4/7/2025, Vol. 15 Issue 1, p1-19, 19p

Subject Terms: COMPUTER programming education, COMPUTERS in education, COGNITIVE psychology, COMPUTER science education, COGNITIVE computing

Assessing programming education needs of primary and secondary teachers in Guangxi border areas.

Authors: Ou, Qi Zhong Yao, Xiao Ting

Source: Scientific Reports; 4/11/2025, Vol. 15 Issue 1, p1-14, 14p

Subject Terms: TEACHER development, SECONDARY school teachers, EDUCATIONAL resources, HIGH school teachers, PRIMARY school teachers

A machine learning assistant for detecting fraudulent activities in synchronous online programming exams.

Authors: Ortin, Francisco Gago, Alonso Quiroga, Jose et al.

Source: PeerJ Computer Science; Sep2025, p1-27, 27p

Subject Terms: MACHINE learning, ACADEMIC fraud, CONVOLUTIONAL neural networks, RECURRENT neural networks, EDUCATION ethics, DECEPTION, SUPERVISION

NVM in Data Storage: A Post-Optane Future.

Authors: Karim, Sajad Wünsche, Johannes Kuhn, Michael et al.

Source: ACM Transactions on Storage; Aug2025, Vol. 21 Issue 3, p1-85, 85p

Subject Terms: PHASE change memory, DATA warehousing, DATABASES, FLASH memory, SYSTEMS design

Enabling Progressive Server-Side Rendering for Traditional Web Template Engines with Java Virtual Threads.

Authors: Pereira, Bernardo Carvalho, Fernando Miguel

Source: Software (2674-113X); Sep2025, Vol. 4 Issue 3, p20, 26p

Subject Terms: SCALABILITY, WEB development, PARALLEL processing, BENCHMARK problems (Computer science)

SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis.

Authors: Li, Tuo Bai, Jia-Ju Sui, Yulei et al.

Source: ACM Transactions on Computer Systems; 2024, Vol. 42 Issue 3/4, p1-40, 40p

Subject Terms: COMPUTER systems, RELIABILITY in engineering, INTERNET of things, COST, HARDWARE

PerformERL: a performance testing framework for erlang.

Authors: Cazzola, Walter Cesarini, Francesco Tansini, Luca

Source: Distributed Computing; Oct2022, Vol. 35 Issue 5, p439-454, 16p

Subject Terms: PROGRAMMING languages, STATISTICAL reliability, AUTOMATION

NAMI: A Neuro-Adaptive Multimodal Architecture for Wearable Human–Computer Interaction.

Authors: Papakostas, Christos Troussas, Christos Krouska, Akrivi et al.

Source: Multimodal Technologies & Interaction; Oct2025, Vol. 9 Issue 10, p108, 18p

Subject Terms: HUMAN-computer interaction, NEUROPHYSIOLOGY, USER experience, MULTIMODAL user interfaces, CONTEXT-aware computing, WEARABLE technology, AFFECT (Psychology), COGNITIVE ability