322 search results - page 53 / 65 » Satisfiability Coding Lemma |
FM
2006
Springer
14 years 8 days ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
APCSAC
2003
IEEE
14 years 8 days ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
PARLE
1991
14 years 3 days ago
1991
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...
CONEXT
2008
ACM
13 years 10 months ago
2008
ACM
There are two primary challenges to supportinghigh-throughput, reliable multicast in wireless mesh networks (WMNs). The first is no different from unicast: wireless links are inhe...
JISBD
2003
13 years 10 months ago
2003
Good quality documentation is crucial for the effective reuse of object-oriented frameworks, and must be adaptable to the needs of different audiences. To satisfy these needs, fra...