1597 search results - page 139 / 320 » A Design Method for Object-Oriented Programming |
139
click to vote
WADS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We describe fully polynomial time approximation schemes for generalized multicommodity flow problems arising in VLSI applications such as Global Routing via Buffer Block...
140
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
103
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
147
click to vote
AFP
2004
Springer
15 years 8 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
136
click to vote
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...