1446 search results - page 25 / 290 » Hardware Software Co-Design Using Functional Languages |
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
114
click to vote
BIRTHDAY
2012
Springer
13 years 7 months ago
2012
Springer
We introduce the use of asynchronous logic automata (ALA) for cryptography. ALA aligns the descriptions of hardware and software for portability, programmability, and scalability. ...
105
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
We address the problem of instruction selection for Multi-Output Instructions (MOIs), producing more than one result. Such inherently parallel hardware instructions are very commo...
104
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
111
click to vote
ERLANG
2003
ACM
15 years 5 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...