16190 search results - page 177 / 3238 » Applicative programming with effects |
167
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
We present a method for automatic program inversion of functional programs based on methods of LR parsing. We formalize the transformation and illustrate it with the inversion of a...
210
click to vote
ISORC
2008
IEEE
16 years 24 days ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
171
click to vote
FPL
2007
Springer
16 years 17 days ago
2007
Springer
The effect of kernel operations on cache optimisations in a soft-core reconfigurable system is important for dynamic cache switching design. Considering kernel operations changes ...
191
click to vote
FSEN
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
180
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Citizen science projects can collect a wealth of scientific data, but that data is only helpful if it is actually used. While previous citizen science research has mostly focused ...