4759 search results - page 932 / 952 » Software Development Based on Software Pattern Evolution |
100
click to vote
ENTCS
1998
15 years 1 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
126
click to vote
RV
2010
Springer
15 years 9 days ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
128
click to vote
VTC
2010
IEEE
15 years 8 days ago
2010
IEEE
—Supporting a multimode mobile device to seamlessly switch its connections between various wireless access networks, such as WiMAX, Wi-Fi, and LTE, is an important research issue...
121
click to vote
BIOINFORMATICS
2011
14 years 8 months ago
2011
Motivation: Over the recent years, the vision that RNA simply serves as information transfer molecule has dramatically changed. The study of the sequence/structure/function relati...
180
Voted
FPGA
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we propose a technique to flexibly implement genetic algorithms for various problems on FPGAs. For the purpose, we propose a basic architecture for GA which consist...