1446 search results - page 124 / 290 » Hardware Software Co-Design Using Functional Languages |
120
Voted
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
250
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
A minimal, bounded hardware transactional memory implementation significantly improves synchronization performance when used in an operating system kernel. We add HTM to Linux 2.4...
173
click to vote
SPAA
2009
ACM
16 years 5 months ago
2009
ACM
Thread-level speculation (TLS) is a technique that allows parts of a sequential program to be executed in parallel. TLS ensures the parallel program's behaviour remains true ...
151
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
172
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...