655 search results - page 52 / 131 » Coinduction in Concurrent Timed Systems |
ASAP
2004
IEEE
14 years 1 months ago
2004
IEEE
We explain how modern programmable logic devices have capabilities that are well suited for them to assume a central role in the implementation of networked systems, now and in th...
LCTRTS
2009
Springer
14 years 4 months ago
2009
Springer
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
Hardware transactional memory is a promising synchronization technology for chip-multiprocessors. It simplifies programming of concurrent applications and allows for higher concu...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
ICDCS
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper, we explore a new form of dissemination called Flash Dissemination that involves dissemination of fixed, rich information to a large number of recipients in as shor...