2000 search results - page 298 / 400 » Program Transformation and Proof Transformation |
155
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Multi-core architectures are increasingly being adopted in the design of emerging complex embedded systems. Key issues of designing such systems are on-chip interconnects, memory a...
148
click to vote
AINA
2008
IEEE
16 years 22 days ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
155
click to vote
SEFM
2008
IEEE
16 years 19 days ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
177
click to vote
DATE
2007
IEEE
16 years 18 days ago
2007
IEEE
Current day network processors incorporate several architectural features including symmetric multi-processing (SMP), block multi-threading, and multiple memory elements to suppor...
161
click to vote
ICMCS
2007
IEEE
16 years 17 days ago
2007
IEEE
In this paper, we propose a novel 2D/3D approach for 3D model matching and retrieving. Each model is represented by a set of depth lines which will be afterward transformed into s...