1446 search results - page 118 / 290 » Hardware Software Co-Design Using Functional Languages |
150
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: The explosion in biological information creates the need for databases that are easy to develop, easy to maintain and can be easily manipulated by annotators who are m...
154
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
138
click to vote
TROB
2002
15 years 4 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
149
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
132
Voted
TSE
2010
15 years 3 months ago
2010
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...