2000 search results - page 298 / 400 » Program Transformation and Proof Transformation |
130
Voted
DATE
2009
IEEE
15 years 10 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...
119
Voted
AINA
2008
IEEE
15 years 10 months 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...
125
click to vote
SEFM
2008
IEEE
15 years 10 months 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 ...
150
Voted
DATE
2007
IEEE
15 years 10 months 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...
127
Voted
ICMCS
2007
IEEE
15 years 10 months 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...