345 search results - page 68 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
284
Voted
ICECCS
2010
IEEE
15 years 7 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...
308
click to vote
ASPLOS
2009
ACM
16 years 8 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...
219
click to vote
IISWC
2009
IEEE
16 years 2 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...
212
click to vote
IWMMDBMS
1998
15 years 8 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...
221
click to vote
DOCENG
2006
ACM
16 years 1 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...