742 search results - page 93 / 149 » Set-based Concurrent Engineering |
250
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
105
click to vote
IOLTS
2006
IEEE
15 years 8 months ago
2006
IEEE
A significant fraction of soft errors in modern microprocessors has been reported to never lead to a system failure. Any concurrent error detection scheme that raises alarm every ...
152
Voted
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
134
Voted
CBSE
2005
Springer
15 years 8 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
115
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...