Sciweavers

2666 search results - page 258 / 534
» Computing with Evolving Proteins
Sort
View
SOFSEM
1999
Springer
15 years 11 months ago
Software Change and Evolution
Changeability (also called evolvability) is an essential property of software. Software change is the foundation for both new software development and legacy software maintenance, ...
Vaclav Rajlich
DAC
1994
ACM
15 years 10 months ago
Fitting Formal Methods into the Design Cycle
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
Kenneth L. McMillan
PPSN
1994
Springer
15 years 10 months ago
A Cooperative Coevolutionary Approach to Function Optimization
A general model for the coevolution of cooperating species is presented. This model is instantiated and tested in the domain of function optimization, and compared with a tradition...
Mitchell A. Potter, Kenneth A. De Jong
SIGGRAPH
1989
ACM
15 years 10 months ago
A characterization of ten rasterization techniques
With widespread use of raster scan displays and the everincreasing desire for faster interactivity, higher image complexity, and higher resolution in displayed images, several tec...
Nader Gharachorloo, Satish Gupta, Robert F. Sproul...
FTDCS
2004
IEEE
15 years 10 months ago
Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications
Peer-to-peer (P2P) networks and mobile ad hoc networks (MANET) share some key characteristics: selforganization and decentralization, and both need to solve the same fundamental p...
Lu Yan, Kaisa Sere, Xinrong Zhou, Jun Pang