Sciweavers

4880 search results - page 128 / 976
» Manuals as Structured Programs
Sort
View
146
Voted
COMPSAC
2008
IEEE
15 years 10 months ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang
125
Voted
SAC
2010
ACM
15 years 3 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
PLDI
2010
ACM
15 years 8 months ago
Supporting speculative parallelization in the presence of dynamic data structures
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
Chen Tian, Min Feng, Rajiv Gupta
134
Voted
BMCBI
2007
136views more  BMCBI 2007»
15 years 3 months ago
Comparison of protein structures by growing neighborhood alignments
Background: Design of protein structure comparison algorithm is an important research issue, having far reaching implications. In this article, we describe a protein structure com...
Sourangshu Bhattacharya, Chiranjib Bhattacharyya, ...
127
Voted
SIGMOD
2003
ACM
115views Database» more  SIGMOD 2003»
16 years 3 months ago
Rondo: A Programming Platform for Generic Model Management
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
Sergey Melnik, Erhard Rahm, Philip A. Bernstein