1499 search results - page 58 / 300 » Chopping Concurrent Programs |
B
2007
Springer
14 years 29 days ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
HICSS
2010
IEEE
14 years 3 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
ICCL
1994
IEEE
14 years 15 days ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
DEXAW
2008
IEEE
14 years 3 months ago
2008
IEEE
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
LADS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...