4719 search results - page 577 / 944 » Spreadsheet functional programming |
147
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
167
click to vote
DRM
2005
Springer
15 years 10 months ago
2005
Springer
A software obfuscator is a program O to transform a source program P for protection against malicious reverse engineering. O should be correct (O(P) has same functionality with P)...
150
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
A style for programming problems from matrix algebra is developed with a familiar example and new tools, yielding high performance with a couple of surprising exceptions. The under...
146
click to vote
WEA
2005
Springer
15 years 10 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
158
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...