9110 search results - page 1380 / 1822 » Formally-Based Design Evaluation |
194
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
181
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Forcing all IP packets to carry correct source addresses can greatly help network security, attack tracing, and network problem debugging. However, due to asymmetries in toda...
211
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Java mirror objects are building blocks for integrating web-based with high performance applications. This paper demonstrates the utility of mirror objects for construction of rem...
142
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
The size and complexity of current custom VLSI have forced the use of high-level programming languages to describe hardware, and compiler and synthesis technology bstract designs ...
182
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper studies cluster load balancing policies and system support for fine-grain network services. Load balancing on a cluster of machines has been studied extensively in the...