Modelling of process systems with genetic programming by Lotz, Marco

Get full text

Unity-inspired object-oriented concurrent system development

Get full text
Get full text

A survey of proof systems for CSP by Van Zijl, Lynette

Get full text

LF : a language for reliable embedded systems by Van Riet, F. A.

Subjects: “…Embedded computer systems…”
Get full text

A model checker for the LF system by Gerber, Erick D. B.

Get full text

A development environment for reactive systems by De Wet, Matthys Johannes de Villiers

Subjects: “…Debugging in computer science -- Computer programs…”
Get full text

An LTL verification system based on automata theory by Inggs, Cornelia Petronella, Van Wyk, Cornelia

Get full text

The transputer virtual memory system by Mostert, Sias

Get full text

Joint Interference-Aware and Cost-Optimal Traffic Offloading in Integrated TN–NTN Systems Using Mixed-Integer and Quadratically Constrained Programming

Get full text

Optimizing Load Balancing in Cloud-Based Healthcare Systems: Leveraging Linear Programming, Metaheuristics, and Queuing Models to Minimize Latency and Maximize Throughput

Get full text

An analysis of security protocols for lightweight systems by Kamkuemah, Martha Ndeyapeuomagano

Get full text

A comprehensive framework for SQL query execution in distributed multidatabase systems by Winckler, Cornelis Janse

Get full text

Fast star tracker hardware implementation and algorithm optimisations on a system-on-a-chip device by Von Wielligh, Christiaan Lodewyk

Subjects: “…Systems programming (Computer science)…”
Get full text

The design and implementation of an image processing system by Miketinac, Jeanmary

Get full text

Evaluation of C# for a station controller in a reconfigurable manufacturing system by Graefe, Rainer

Subjects: “…Configurable computing systems…”
Get full text

Using mobile devices in the Bachelor of Nursing Sciences blended program at University of Nairobi : student perceptions and experiences by Bosire, Kefa O

Get full text

An application of mechatronics in manufacturing with object-oriented programming in a windows environment by Jürgens, Marius Lionel Juhl

Subjects: “…Object-oriented programming (Computer science)…”
Get full text

A language to support verification of embedded software by Swart, Riaan

Subjects: “…Embedded computer systems…”
Get full text

Computer facial animation for sign language visualization by Barker, Dean

Subjects: “…Computer facial animation system…”
Get full text

Semantic optimisation in datalog programs by Wassell, Mark P

Get full text