Glyphstream as a Formal Encoding: A Structural Schema for Continuity Preservation Across Sessions and Systems

Συγγραφείς: Crippin, Suzanne

Θεματικοί όροι: research workflows, non-executing specifications, schema versioning, systems design, non-semantic encoding, graph representation, YAML, structural topology, technical note, information architecture, method-level framework, DSL, research infrastructure, boundary conditions, workflow documentation, deterministic reconstruction, schema design, directed graphs, data schema, handover protocols, structural modelling, specification governance, formal grammar, method specification, protocol specification, bounded schema, formal methods, safety by design, Atlas Codex, continuity artefact, workflow continuity, cross-session continuity, serialisation formats, scope limitation, domain-specific language, structural validation, structural encoding, auditability, reproducibility, formal specification, continuity systems, topology preservation, machine-readable encoding, structural compression, invariant preservation, non-executable data, misuse prevention, Crippin's Theory, non-autonomous systems, traceability, inert data structures, JSON schema, continuity preservation, systems architecture, graph-based models, decision topology, Glyphstream, workflow modelling

Deep learning approaches for bad smell detection: a systematic literature review.

Συγγραφείς: Alazba, Amal, Aljamaan, Hamoud, Alshayeb, Mohammad

Πηγή: Empirical Software Engineering; Jun2023, Vol. 28 Issue 3, p1-73, 73p

Accelerating Linux and Android applications on low-power devices through remote GPGPU offloading.

Συγγραφείς: Montella, Raffaele, Kosta, Sokol, Oro, David, Vera, Javier, Fernández, Carles, Palmieri, Carlo, Di Luccio, Diana, Giunta, Giulio, Lapegna, Marco, Laccetti, Giuliano

Πηγή: Concurrency & Computation: Practice & Experience; 12/25/2017, Vol. 29 Issue 24, pn/a-N.PAG, 17p

Θεματικοί όροι: Linux operating systems, Cloud computing, Virtual machine systems, Central processing units, Computer storage devices, Graphics processing units, Biosurveillance

Reviews & Products: Android (Operating system)