Sciweavers

3889 search results - page 24 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
TCBB
2010
144views more  TCBB 2010»
13 years 2 months ago
Querying Graphs in Protein-Protein Interactions Networks Using Feedback Vertex Set
Recent techniques increase rapidly the amount of our knowledge on interactions between proteins. The interpretation of these new information depends on our ability to retrieve kno...
Guillaume Blin, Florian Sikora, Stéphane Vi...
VMCAI
2005
Springer
14 years 1 months ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
ICSM
1993
IEEE
13 years 11 months ago
Documenting Programs Using a Library of Tree Structured Plans
Salwa K. Abd-El-Hafiz, Victor R. Basili
VSTTE
2005
Springer
14 years 1 months ago
Toasters, Seat Belts, and Inferring Program Properties
Today’s software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable softw...
David Evans