1446 search results - page 80 / 290 » Hardware Software Co-Design Using Functional Languages |
100
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
141
click to vote
ASWSD
2004
Springer
15 years 8 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
112
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
116
click to vote
ISCA
2006
IEEE
15 years 8 months ago
2006
IEEE
Transactional Memory (TM) simplifies parallel programming by allowing for parallel execution of atomic tasks. Thus far, TM systems have focused on implementing transactional stat...
FPL
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...