1446 search results - page 96 / 290 » Hardware Software Co-Design Using Functional Languages |
127
Voted
PPPJ
2009
ACM
15 years 9 months ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
134
Voted
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
127
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...
126
Voted
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...
214
Voted
ACMMSP
2006
ACM
15 years 8 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...