23 search results - page 2 / 5 » ReconOS: An RTOS supporting Hard- and Software Threads |
MICRO
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
CASES
2006
ACM
13 years 9 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
ECMDAFA
2005
Springer
13 years 11 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
ASWEC
2001
IEEE
13 years 9 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
HPCA
2007
IEEE
14 years 5 months ago
2007
IEEE
The emergence of multicore architectures will lead to an increase in the use of multithreaded applications that are prone to synchronization bugs, such as data races. Software sol...