Sciweavers

4854 search results - page 226 / 971
» It's the Programming, Stupid
Sort
View
MP
2007
76views more  MP 2007»
15 years 6 months ago
Universal duality in conic convex optimization
Given a primal-dual pair of linear programs, it is well known that if their optimal values are viewed as lying on the extended real line, then the duality gap is zero, unless both...
Simon P. Schurr, André L. Tits, Dianne P. O...
NAR
2010
281views more  NAR 2010»
15 years 2 months ago
PDBselect 1992-2009 and PDBfilter-select
PDBselect (http://bioinfo.tg.fh-giessen.de/pdb select/) is a list of representative protein chains with low mutual sequence identity selected from the protein data bank (PDB) to e...
Sven Griep, Uwe Hobohm

Book
246views
17 years 5 months ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy
PADL
2010
Springer
16 years 4 months ago
Static Detection of Race Conditions in Erlang
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
Maria Christakis, Konstantinos F. Sagonas
ICSE
2009
IEEE-ACM
16 years 2 months ago
SemDiff: Analysis and recommendation support for API evolution
As a framework evolves, changes in its Application Programming Interface (API) can break client programs that extend the framework. Repairing a client program can be a challenging...
Barthélémy Dagenais, Martin P. Robil...