1327 search results - page 184 / 266 » Data Dependent Circuit Design: A Case Study |
203
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
158
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Diffuse optical tomography (DOT) is a noninvasive imaging technology that is sensitive to local concentration changes in oxyand deoxyhemoglobin. When applied to functiona...
156
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
171
click to vote
APSEC
2009
IEEE
15 years 9 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
153
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—Internet backbone operators face a trade-off in quantifying the costs that their customers inflict on their infrastructure since the precision of these methods depends on the r...