7393 search results - page 479 / 1479 » Synthesis-for-testability using transformations |
156
click to vote
IWMM
2009
Springer
16 years 1 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
167
click to vote
AVSS
2008
IEEE
16 years 28 days ago
2008
IEEE
We propose a novel registration framework to map the field-of-coverage of pan-tilt cameras to a GIS (Geographic Information System) planar coordinate system. The camera’s fiel...
178
click to vote
GMP
2008
IEEE
16 years 27 days ago
2008
IEEE
We propose a method to identify planar regions in volume data using a specialized version of the discrete Radon transform operating on a structured or unstructured grid. The algori...
149
Voted
COMPSAC
2007
IEEE
16 years 23 days ago
2007
IEEE
Design patterns encode proven solutions to recurring design problems. To use a design pattern properly, we need to 1) understand the design problem the pattern resolves, 2) recogn...
200
click to vote
AGTIVE
2007
Springer
16 years 19 days ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...