4895 search results - page 610 / 979 » Functional Quantum Programming |
198
click to vote
DRM
2005
Springer
16 years 23 hour 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)...
190
click to vote
EUROPAR
2005
Springer
16 years 19 hour 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...
170
click to vote
WEA
2005
Springer
15 years 12 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...
184
click to vote
MEMOCODE
2003
IEEE
15 years 11 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...
196
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...