4 search results - page 1 / 1 » A step toward code granulation space |
64
Voted
GRC
2009
IEEE
15 years 22 days ago
2009
IEEE
This paper proposes a code granulation space which can be applied to program construction and processing. Each granule in the space is defined as an improvement to the seed progra...
ICCAD
1994
IEEE
15 years 1 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
CSL
2009
Springer
15 years 4 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
100
click to vote
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Designing custom-extensible instructions for Extensible Processors1 is a computationally complex task because of the large design space. The task of automatically matching candida...