1404 search results - page 169 / 281 » A C to Hardware Software Compiler |
181
click to vote
PLDI
2003
ACM
16 years 3 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
176
click to vote
WSC
1998
15 years 8 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
199
click to vote
AUIC
2002
IEEE
15 years 11 months ago
2002
IEEE
The use of groupware, or collaborative work-supporting technologies, has become wide-spread, but many existing groupware systems are too difficult to integrate with domain-specifi...
211
click to vote
ASPLOS
2006
ACM
16 years 25 days ago
2006
ACM
While hardware instruction caches are present in virtually all general-purpose and high-performance microprocessors today, many embedded processors use SRAM or scratchpad memories...
190
click to vote
DSD
2008
IEEE
16 years 1 months ago
2008
IEEE
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...