| 2008 |
|---|
| 22 | EE | Jianguo Chen,
Hangxia Zhou,
Stefan D. Bruda:
Combining Model Checking and Testing for Software Analysis.
CSSE (2) 2008: 206-209 |
| 21 | EE | Stefan D. Bruda,
Yuanqiao Zhang:
Why shared memory matters to VLSI design: The BSR is as powerful as reconfiguration.
IPDPS 2008: 1-8 |
| 20 | EE | Stefan D. Bruda,
Yuanqiao Zhang:
The Shared Memory Hierarchy: The PRAM is as Powerful as the BSR.
ISPDC 2008: 179-185 |
| 2006 |
|---|
| 19 | EE | Stefan D. Bruda,
Petter Haggholm,
Scott Stoddard:
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report.
ISPDC 2006: 74-81 |
| 2004 |
|---|
| 18 | EE | Stefan D. Bruda:
Preorder Relations.
Model-Based Testing of Reactive Systems 2004: 117-149 |
| 2003 |
|---|
| 17 | EE | Stefan D. Bruda,
Selim G. Akl:
On limits on the computational power of data-accumulating algorithms.
Inf. Process. Lett. 86(4): 221-227 (2003) |
| 2002 |
|---|
| 16 | EE | Stefan D. Bruda,
Selim G. Akl:
The Characterization of Parallel Real-Time Optimization Problems.
HPCS 2002: 77-83 |
| 15 | | Stefan D. Bruda,
Selim G. Akl:
On the Relation between Parallel Real-time Computations and Logarithmic Space.
IASTED PDCS 2002: 102-107 |
| 2001 |
|---|
| 14 | | Stefan D. Bruda,
Selim G. Akl:
Real-Time Computation: A Formal Definition and its Applications.
IPDPS 2001: 137 |
| 13 | | Stefan D. Bruda,
Selim G. Akl:
Parallel Real-Time Complexity A Strong Infinite Hierarchy.
SIROCCO 2001: 45-60 |
| 12 | EE | Stefan D. Bruda,
Selim G. Akl:
Pursuit and evasion on a ring: An infinite hierarchy for parallel real--time systems.
SPAA 2001: 312-313 |
| 11 | EE | Stefan D. Bruda,
Selim G. Akl:
A Case Study in Real-Time Parallel Computation: Correcting Algorithms.
J. Parallel Distrib. Comput. 61(5): 688-708 (2001) |
| 10 | | Stefan D. Bruda,
Selim G. Akl:
On the Necessity of Formal Models for Real-Time Parallel Computations.
Parallel Processing Letters 11(2/3): 353-361 (2001) |
| 9 | | Selim G. Akl,
Stefan D. Bruda:
Improving A Solution's Quality Through Parallel Processing.
The Journal of Supercomputing 19(2): 221-233 (2001) |
| 2000 |
|---|
| 8 | | Stefan D. Bruda,
Selim G. Akl:
Towards a meaningful formal definition of real-time computations.
Computers and Their Applications 2000: 274-279 |
| 7 | EE | Selim G. Akl,
Stefan D. Bruda:
Parallel Real-Time Numerical Computation: Beyond Speedup III.
ITCC 2000: 428-435 |
| 6 | | Stefan D. Bruda,
Selim G. Akl:
On the Necessity of Formal Models for Real-Time Parallel Computations.
PDPTA 2000 |
| 5 | | Selim G. Akl,
Stefan D. Bruda:
Parallel Real-Time Cryptography: Beyond Speedup II.
PDPTA 2000 |
| 4 | EE | Stefan D. Bruda,
Selim G. Akl:
The Characterization of Data-Accumulating Algorithms.
Theory Comput. Syst. 33(1): 85-96 (2000) |
| 1999 |
|---|
| 3 | EE | Stefan D. Bruda,
Selim G. Akl:
The Characterization of Data-Accumulating Algorithms.
IPPS/SPDP 1999: 2-6 |
| 2 | | Selim G. Akl,
Stefan D. Bruda:
Parallel Real-Time Optimization: Beyond Speedup.
Parallel Processing Letters 9(4): 499-509 (1999) |
| 1997 |
|---|
| 1 | | Stefan D. Bruda:
On the Computational Complexity of Context-Free Parallel Communicating Grammar Systems.
New Trends in Formal Languages 1997: 256-266 |
