170 search results - page 29 / 34 » Debugging Optimised Code Using Function Interpretation |
132
click to vote
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
100
Voted
DM
1999
15 years 1 days ago
1999
Let Fk(x) = n=0 Fk n xn . Using the interpretation of Fibonacci numbers in the terms of Morse codes, we give a bijective proof of Riordan's formula (1 - Lkx + (-1)k x2 )Fk(x...
118
click to vote
BMCBI
2010
15 years 15 days ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
100
Voted
IEEEAMS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
123
click to vote
JMLR
2008
14 years 12 months ago
2008
We study a generative model in which hidden causes combine competitively to produce observations. Multiple active causes combine to determine the value of an observed variable thr...