Sciweavers

2328 search results - page 267 / 466
» Component Frameworks - A Case Study
Sort
View
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 3 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
162
Voted
DAC
2012
ACM
13 years 8 months ago
A metric for layout-friendly microarchitecture optimization in high-level synthesis
In this work we address the problem of managing interconnect timing in high-level synthesis by generating a layoutfriendly microarchitecture. A metric called spreading score is pr...
Jason Cong, Bin Liu
MICCAI
2010
Springer
15 years 4 months ago
Statistical Analysis of Structural Brain Connectivity
Abstract. We present a framework for statistical analysis in large cohorts of structural brain connectivity, derived from diffusion weighted MRI. A brain network is defined betwe...
Renske de Boer, Michiel Schaap, Fedde van der Lijn...
MICCAI
2007
Springer
16 years 7 months ago
Effects of Registration Regularization and Atlas Sharpness on Segmentation Accuracy
In this paper, we propose a unified framework for computing atlases from manually labeled data at various degrees of "sharpness" and the joint registration-segmentation o...
B. T. Thomas Yeo, Mert R. Sabuncu, Rahul Desikan, ...
161
Voted
RTAS
2009
IEEE
16 years 26 days ago
On Time-Aware Instrumentation of Programs
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...
Sebastian Fischmeister, Patrick Lam