14244 search results - page 311 / 2849 » Modeling Program Predictability |
132
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
136
Voted
TCBB
2010
15 years 1 months ago
2010
— We present efficient cache-oblivious algorithms for some well-studied string problems in bioinformatics including the longest common subsequence, global pairwise sequence alig...
108
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
142
Voted
SAC
2000
ACM
15 years 7 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
157
Voted
JIB
2006
15 years 3 months ago
2006
Protein-protein interactions (PPI) play a key role in many biological systems. Over the past few years, an explosion in availability of functional biological data obtained from hi...