759 search results - page 75 / 152 » A Perspective on Knowledge Compilation |
COOPIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. Aspect oriented programming brings us new design perspectives since it permits the superimpositions of multiple abstraction models on top of one another. It is a very pow...
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
134
click to vote
CONCUR
1993
Springer
15 years 1 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
PLDI
1995
ACM
15 years 1 months ago
1995
ACM
The control dependence relation is used extensively in restructuring compilers. This relation is usually represented using the control dependence graph; unfortunately, the size of...
WSC
1997
14 years 11 months ago
1997
The AutoModTM simulation system differs significantly from other systems because of its ability to deal with the physical elements of a system in physical (graphical) terms and th...