39 search results - page 2 / 8 » Reachability Analysis of Multithreaded Software with Asynchr... |
CBSE
2005
Springer
13 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 ...
CODES
2006
IEEE
13 years 10 months ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
COMPSAC
2006
IEEE
13 years 10 months ago
2006
IEEE
Modern Web servers need to process multiple requests concurrently in order to fulfill the workload demands expected of them. Concurrency can be implemented in a Web server using ...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
POPL
2004
ACM
13 years 10 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...