1446 search results - page 88 / 290 » Hardware Software Co-Design Using Functional Languages |
129
Voted
ERLANG
2007
ACM
15 years 6 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
154
Voted
ICS
2007
Tsinghua U.
15 years 8 months ago
2007
Tsinghua U.
Software or hardware data cache prefetching is an efficient way to hide cache miss latency. However effectiveness of the issued prefetches have to be monitored in order to maximi...
132
Voted
PUK
2003
15 years 3 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
105
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
134
click to vote
JWSR
2008
15 years 2 months ago
2008
: Service Oriented Architecture (SOA) is an emerging style of software architectures to reuse and integrate existing systems for designing new applications. Each application is des...