345 search results - page 68 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
ICECCS
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...
ASPLOS
2009
ACM
14 years 5 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
IISWC
2009
IEEE
13 years 11 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
IWMMDBMS
1998
13 years 6 months ago
1998
Multimedia database systems (MMDBSs) have to be capable to handle efficiently time-dependent and timeindependent data, and to support Quality-of-Service (QoS). To support continuo...
DOCENG
2006
ACM
13 years 10 months ago
2006
ACM
In the recent years, we have witnessed a dramatic increment in the volume of spam email. Other related forms of spam are increasingly revealing as a problem of importance, special...