Sciweavers

297 search results - page 35 / 60
» Heap Reference Analysis Using Access Graphs
Sort
View
POPL
2010
ACM
15 years 11 months ago
Continuity Analysis of Programs
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerm...
ICCAD
2003
IEEE
136views Hardware» more  ICCAD 2003»
15 years 11 months ago
Synthesis of Heterogeneous Distributed Architectures for Memory-Intensive Applications
— Memory-intensive applications present unique challenges to an ASIC designer in terms of the choice of memory organization, memory size requirements, bandwidth and access latenc...
Chao Huang, Srivaths Ravi, Anand Raghunathan, Nira...
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
15 years 6 months ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...
133
Voted
ISBI
2006
IEEE
16 years 3 months ago
Complex wavelets for registration of tagged MRI sequences
Tagged Magnetic Resonance Imaging (MRI) is currently the reference MR modality for myocardial motion and strain analysis. Mutual Information (MI) based non rigid registration has ...
Estanislao Oubel, Alejandro F. Frangi, Alfred O. H...
MIE
2008
128views Healthcare» more  MIE 2008»
15 years 3 months ago
Interface Terminologies: Bridging the Gap between Theory and Reality for Africa
In the United States and Europe, electronic health records (EHRs) allow information technology and decision-support to facilitate the activities of clinicians and are considered a...
Andrew S. Kanter, Amy Y. Wang, Fred E. Masarie Jr....