1137 search results - page 125 / 228 » Partial Program Admission |
138
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
183
click to vote
Book
"This book introduces a software development method, called the Demeter Method, for
developing adaptive object-oriented software. The reader will learn the Demeter Method for...
112
click to vote
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
CP
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents two methods for improving the performance of the Distributed Breakout Algorithm using the notion of interchangeability. In particular, we use neighborhood part...
128
click to vote
AGENTS
1998
Springer
15 years 6 months ago
1998
Springer
Mobile agents are programs that can migrate from machine to machine in a heterogeneous, partially disconnected network. As mobile agents move across a network, they consume resour...