990 search results - page 44 / 198 » A Static Analysis Technique for Graph Transformation Systems |
114
click to vote
ENTCS
2010
14 years 8 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
VTC
2007
IEEE
15 years 7 months ago
2007
IEEE
— We propose a novel bit error ratio (BER) analysis technique for fast frequency hopping (FFH) assisted M-ary frequency shift keying (MFSK) using product combining (PC), when the...
126
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access will result in a definite cache hit or miss. This unpredictabilit...
DAC
2009
ACM
16 years 2 months ago
2009
ACM
For a number of years, dataflow concepts have provided designers of digital signal processing systems with environments capable of expressing high-level software architectures as ...
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
Impact analysis, determining when a change in one part of a program affects other parts of the program, is timeconsuming and problematic. Impact analysis is rarely used to predict...