1446 search results - page 27 / 290 » Hardware Software Co-Design Using Functional Languages |
119
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
103
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
113
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...
118
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
129
click to vote
ICCD
2007
IEEE
15 years 11 months ago
2007
IEEE
In single processor architectures, computationallyintensive functions are typically accelerated using hardware accelerators, which exploit the concurrency in the function code to ...