1446 search results - page 60 / 290 » Hardware Software Co-Design Using Functional Languages |
120
click to vote
ICDCSW
2007
IEEE
15 years 8 months ago
2007
IEEE
We have developed a data stream management system that supports declarative stream queries running over high data volumes in a supercomputing environment. To enable specification ...
127
click to vote
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
129
Voted
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
—Software testing is hard. The emergence of multicore architectures and the proliferation of bugprone multithreaded software makes testing even harder. To this end, researchers h...
116
Voted
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
118
Voted
PEPM
1993
ACM
15 years 6 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...