4255 search results - page 316 / 851 » Cover |
156
Voted
ESOP
2005
Springer
16 years 7 days ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
232
click to vote
ESOP
2005
Springer
16 years 7 days ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
189
click to vote
EVOW
2005
Springer
16 years 7 days ago
2005
Springer
In this work, we address the biclustering of gene expression data with evolutionary computation, which has been proven to have excellent performance on complex problems. In express...
137
click to vote
FM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
168
click to vote
FROCOS
2005
Springer
16 years 7 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...