377 search results - page 25 / 76 » Modular logic metaprogramming |
122
click to vote
ICFP
2010
ACM
15 years 25 days ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
103
click to vote
CADE
2008
Springer
16 years 1 days ago
2008
Springer
We present a novel proof of Toyama's famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in th...
CCS
2005
ACM
15 years 5 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
VTS
2000
IEEE
15 years 4 months ago
2000
IEEE
Redundancy techniques are commonly used to design dependable systems to ensure high reliability, availability and data integrity. Triple Modular Redundancy (TMR) is a widely used ...
136
click to vote
ANNS
2010
14 years 6 months ago
2010
Evolving recurrent neural networks for behavior control of robots equipped with larger sets of sensors and actuators is difficult due to the large search spaces that come with the ...