2227 search results - page 81 / 446 » Reversibility and Models for Concurrency |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
The scarcity of available multi-track recordings constitutes a severe constraint on the training of probabilistic models for voice extraction from polyphonic music. We propose a n...
JLP
2011
13 years 27 days ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
ICSM
2006
IEEE
14 years 4 months ago
2006
IEEE
The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...
ICCAD
2003
IEEE
14 years 7 months ago
2003
IEEE
In this paper, we study the full-chp interconnect power modeling. ,We show that repeater,insertion is no longer sufficient to achievethe targetfrequencies specifiedhy ITRS, and de...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents a concurrent error detection technique targeted towards control logic in a processor with emphasis on low area overhead. Rather than detect all modeled transie...