458 search results - page 64 / 92 » An Algebraic Approach to Sharing Analysis of Logic Programs |
ICSE
1997
IEEE-ACM
14 years 27 days ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
MSR
2006
ACM
14 years 2 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
CASES
2005
ACM
13 years 10 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
DAC
2001
ACM
14 years 9 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...