1446 search results - page 32 / 290 » Hardware Software Co-Design Using Functional Languages |
145
click to vote
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
108
click to vote
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
113
click to vote
AICCSA
2001
IEEE
15 years 5 months ago
2001
IEEE
: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...
111
click to vote
DELTA
2010
IEEE
15 years 7 months ago
2010
IEEE
High level hardware description languages aim to make hardware design more like programming software. These languages are often used to accelerate legacy software algorithms by ...
102
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...