7456 search results - page 1385 / 1492 » Parallelism in Logic Programs |
154
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Parallel dataflow programming frameworks such as Map-Reduce are increasingly being used for large scale data analysis on computing clouds. It is therefore becoming important to a...
131
Voted
GCB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: The analysis of RNA folding landscapes yields insights into the kinetic folding behavior not available from classical structure prediction methods. This is especially imp...
129
Voted
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
Many bioinformatics studies require the analysis of RNA or DNA structures. More specifically, extensive work is done to elaborate efficient algorithms able to predict the 2-D fold...
120
Voted
EICS
2009
ACM
15 years 10 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
116
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Hybrid Vehicle fuel economy performance is highly sensitive to the energy management strategy used to select among multiple energy sources. Optimal solutions are easy to specif...