Searching for authors named "Brian Nielsen" – sorted by Relevance.
-
Towards Re-usable Real-Time Objects
- in Computer Science Towards Re-usable Real-Time Objects Brian Nielsen Gul Agha BRICS Report Series RS-98
- Cited by 3 (1 self) – Add To MetaCart
-
Semantics for an Actor-Based Real-Time Language
- Semantics for an Actor-Based Real-Time Language Brian Nielsen Gul Agha Department of Computer
- Cited by 4 (3 self) – Add To MetaCart
-
Specification of Real-Time Interaction Constraints
- Specification of Real-Time Interaction Constraints Brian Nielsen Aalborg University Dpt
- Cited by 4 (0 self) – Add To MetaCart
-
Real-Time Layered Video Compression using SIMD Computation
- Vadskr Jensen Brian Nielsen BRICS Report Series RS-98-45 ISSN 0909-0878 December 1998 Copyright c 1998
- Cited by 4 (0 self) – Add To MetaCart
-
Real-time system testing on-the-fly
- Real-time System Testing On-the-fly ∗ Marius Mikucionis Brian Nielsen Kim G. Larsen {marius
- Cited by 3 (3 self) – Add To MetaCart
-
Online Testing of Real-Time Systems Using uppaal
- Mikucionis, and Brian Nielsen Department of Computer Science, Aalborg UniversityFredrik Bajers Vej 7B, 9220
- Cited by 18 (5 self) – Add To MetaCart
-
Time-optimal Real-Time Test Case Generation using UPPAAL
- Time-optimal Real-Time Test Case Generation using UPPAAL Anders Hessel , Kim G. Larsen , Brian
- Cited by 13 (5 self) – Add To MetaCart
-
Time-Optimal Test Cases for RealTime Systems
- Time-Optimal Test Cases for Real-Time Systems Anders Hessel 1 , Kim G. Larsen 2 , Brian Nielsen 2
- Cited by 1 (1 self) – Add To MetaCart
-
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
- and Marius Mikucionis and Brian Nielsen and Arne Skou Aalborg University Center of Embedded Software Systems
- Cited by 6 (0 self) – Add To MetaCart
-
Time-optimal Real-Time Test Case Generation using UPPAAL
- Time-optimal Real-Time Test Case Generation using UPPAAL Anders Hessel‡, Kim G. Larsen†, Brian
- Add To MetaCart

