1239 search results - page 170 / 248 » Applying Model Checking to Concurrent UML Models |
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
BIRTHDAY
2006
Springer
14 years 27 days ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
SBMF
2009
Springer
14 years 3 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
TLDI
2009
ACM
14 years 6 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
IEEEPACT
2006
IEEE
14 years 3 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....