1880 search results - page 187 / 376 » A Static Analysis for Beta-Binders |
166
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Variability of process parameters makes prediction of digital circuit timing characteristics an important and challenging problem in modern chip design. Recently, statistical stat...
153
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
172
click to vote
CIBCB
2008
IEEE
16 years 1 months ago
2008
IEEE
— We introduce a graph-based relational learning approach using graph-rewriting rules for temporal and structural analysis of biological networks changing over time. The analysis...
168
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Privacy-Preserving Data Re-publishing (PPDR) deals with publishing microdata in dynamic scenarios. Due to privacy concerns, data must be disguised before being published. Research...
186
click to vote
LOPSTR
2007
Springer
16 years 23 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...