5241 search results - page 92 / 1049 » Embedded Programming with C |
JMLC
2000
Springer
14 years 1 months ago
2000
Springer
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.
CODES
2007
IEEE
14 years 4 months ago
2007
IEEE
Heterogeneous multiprocessors are emerging as the dominant implementation approach to embedded multiprocessor systems. In addition to having processing elements suited to the targ...
ERLANG
2006
ACM
14 years 3 months ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
EUROGP
2004
Springer
14 years 3 months ago
2004
Springer
Despite considerable progress in GP over the past 10 years, there are many outstanding challenges that need to be addressed before it will be widely deployed for developing useful ...
PLPV
2009
ACM
14 years 6 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...