1446 search results - page 37 / 290 » Hardware Software Co-Design Using Functional Languages |
124
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
107
click to vote
ATS
2005
IEEE
15 years 7 months ago
2005
IEEE
In the past, test data volume reduction techniques have concentrated heavily on scan test data content. However, functional vectors continue to be utilized because they target uni...
187
click to vote
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
103
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
152
Voted
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...