49 search results - page 3 / 10 » A Mechanized Refinement Framework for Analysis of Custom Mem... |
ESTIMEDIA
2008
Springer
13 years 10 months ago
2008
Springer
The relentless increase in multimedia embedded system application requirements as well as improvements in IC design technology have motivated the deployment of chip multiprocessor ...
AGILEDC
2005
IEEE
14 years 2 months ago
2005
IEEE
It is a significant challenge to implement and research agile software development methods in organizations such as the army. Since it differs from organizations in the industry a...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
Within the framework of long memory multivariate processes, fractal connectivity is a particular model, in which the low frequencies (coarse scales) of the interspectrum of each p...
SIGSOFT
2000
ACM
14 years 1 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...