Concepedia

Stefan D. Bruda

SD

9

Publications

150

Citations

9

H-Index

1999

Active since

Affiliations

Queen's University(Current)

Bishop's University

China Jiliang University

Stefan D. Bruda is an author at Queen's University specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsParallel ComputingParallel ProgrammingVerificationEdge ComputingReal-time SystemsFormal VerificationComputational Complexity

Publications per year

1999–2011

9

Publications

9

Complexity Metrics for Component-based Software Systems

Jianguo Chen, Hui Wang, Yongxia Zhou et al. · International Journal of Digital Content Technology and its Applications · 2011 · 36 citations

Software Maintenance, Engineering, Software Systems +19

PARALLEL REAL-TIME OPTIMIZATION: BEYOND SPEEDUP

Selim G. Akl, Stefan D. Bruda · Parallel Processing Letters · 1999 · 23 citations

Mathematical Programming, Engineering, Computer Architecture +20

Improving A Solution's Quality Through Parallel Processing

Selim G. Akl, Stefan D. Bruda · The Journal of Supercomputing · 2001 · 15 citations

A Case Study in Real-Time Parallel Computation: Correcting Algorithms

Stefan D. Bruda, Selim G. Akl · Journal of Parallel and Distributed Computing · 2001 · 15 citations

Engineering, Parallel Processing, Computer Architecture +7

Real-Time Computation: A Formal Definition And Its Applications

Stefan D. Bruda, Selim G. Akl · International Journal of Computers and Applications · 2003 · 15 citations

Cluster Computing, Engineering, Real-time Database +17

Rows per page

1–5 of 9