711 search results - page 69 / 143 » formats 2008 |
141
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
118
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Reducing the code size of embedded applications is one of the important constraint in embedded system design. Code compression can provide substantial savings in terms of size. In...
134
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
131
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
137
click to vote
ECBS
2008
IEEE
15 years 11 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...