2335 search results - page 287 / 467 » Functional Differentiation of Computer Programs |
118
click to vote
POPL
2010
ACM
15 years 12 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
119
Voted
IPSN
2010
Springer
15 years 9 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aï¬...
110
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
IJCAI
1993
15 years 3 months ago
1993
We have written a prototype computer program called TrenDx for automated trend detection during process monitoring. The program uses a representation called trend templates that d...
121
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...