1271 search results - page 142 / 255 » On Simulation-Checking with Sequential Systems |
CEC
2009
IEEE
15 years 2 months ago
2009
IEEE
— This work presents a methodology for the application of a parallel genetic algorithm (PGA) to the problem of protein folding prediction, using the 3DHP-Side Chain model. This m...
FOSSACS
2001
Springer
15 years 2 months ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
SAS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
ASAP
2000
IEEE
15 years 2 months ago
2000
IEEE
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
EUROMICRO
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper focuses on a scheme for automated tumor recognition using images acquired during endoscopic sessions. The proposed recognition system is based on multi-layer feed forwa...