6293 search results - page 126 / 1259 » Information Flow Testing |
123
Voted
ISBI
2006
IEEE
16 years 3 months ago
2006
IEEE
We introduce a method for estimating regional connectivity in diffusion tensor magnetic resonance imaging (DT-MRI) based on a fluid mechanics model. We customize the Navier-Stokes...
106
Voted
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
107
Voted
CASCON
2001
15 years 4 months ago
2001
This paper provides an experience report for researchers who are interested in integrating their tools with the new IBM WebSphere Studio Workbench. The Workbench (open source at w...
107
Voted
VTS
1999
IEEE
15 years 7 months ago
1999
IEEE
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
131
Voted
IEAAIE
2009
Springer
15 years 10 days ago
2009
Springer
1 Testing is a popular way to assess one's competence in a language. The assessment can be conducted by the students for self evaluation or by the teachers in achievement test...