2542 search results - page 237 / 509 » An Operational Definition of Context |
159
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...
158
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
If we hope to automatically detect and diagnose failures in large-scale computer systems, we must study real deployed systems and the data they generate. Progress has been hampere...
170
click to vote
TLCA
2005
Springer
16 years 4 days ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
187
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The financial services industry is changing rapidly as a result of advances in information technology (IT), telecommunications and the Internet. Technological innovations and incr...
137
click to vote
EUROPAR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Trees are useful data structures, but to design efficient parallel programs over trees is known to be more difficult than to do over lists. Although several important tre...