742 search results - page 93 / 149 » Set-based Concurrent Engineering |
268
click to vote
POPL
2007
ACM
16 years 4 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...
120
Voted
IOLTS
2006
IEEE
15 years 10 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 ...
172
click to vote
ISORC
2005
IEEE
15 years 10 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...
155
click to vote
CBSE
2005
Springer
15 years 10 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 ...
132
click to vote
EMSOFT
2005
Springer
15 years 10 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...