5863 search results - page 126 / 1173 » Calculating Functional Programs |
117
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
112
click to vote
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
108
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
IJCNN
2006
IEEE
15 years 8 months ago
2006
IEEE
—A generic prioritization framework is introduced for addressing the problem of automated prioritization of target selection and instrument usage, applicable to Earth and Space r...