4719 search results - page 455 / 944 » Spreadsheet functional programming |
156
click to vote
INFOCOM
2007
IEEE
16 years 23 days ago
2007
IEEE
— Wireless reprogramming of a sensor network is useful for uploading new code or for changing the functionality of existing code. Through the process, a node should remain recept...
153
click to vote
CAV
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
189
click to vote
OOPSLA
2007
Springer
16 years 18 days ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
150
click to vote
TACAS
2007
Springer
16 years 17 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
175
click to vote
PLDI
2006
ACM
16 years 12 days ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...