4719 search results - page 171 / 944 » Spreadsheet functional programming |
113
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
122
click to vote
ASAP
2010
IEEE
15 years 4 months ago
2010
IEEE
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
110
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
113
Voted
SIAMJO
2008
15 years 2 months ago
2008
Abstract. Utility functions of several variables are ubiquitous in economics. Their maximization requires inversion of the gradient map. Using convex analysis tools, we provide a r...
126
click to vote
PROMS
2001
Springer
15 years 7 months ago
2001
Springer
A true video-on-demand(TVOD) system lets users view any video program, at any time, and perform any VCR functions, but its peruser video delivery cost is too expensive. A near vide...