4719 search results - page 704 / 944 » Newtonian program analysis |
280
click to vote
Source Code
NETGEN is an open source automatic mesh generation tool for two and three dimensions. It comes as a stand alone program with graphical user interface, or as a C++ library to be lin...
191
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
In this paper, we present a case study for the design, programming and usage of a reconfigurable system-on-chip, MorphoSys, which is targeted at computation-intensive applications...
136
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
143
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper presents a semi-automatic method for the segmentation and the tracking of the mitral valve leaflet in transesophageal echocardiography. We use two connected active cont...
158
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
In preemptive real-time systems, a tighter estimate of the Worst Case Response Time(WCRT) of the tasks can be obtained if the layout of the tasks in memory is included in the esti...