Sciweavers

578 search results - page 42 / 116
» Analysis of Programs with Exception-Handling Constructs
Sort
View
109
Voted
KES
2008
Springer
15 years 15 days ago
Ontology-Based Design Pattern Recognition
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
Damir Kirasic, Danko Basch
IEEEPACT
2002
IEEE
15 years 5 months ago
Speculative Alias Analysis for Executable Code
Optimizations performed at link time or directly applied to final program executables have received increased attention in recent years. Such low-level optimizations can benefit...
Manel Fernández, Roger Espasa
100
Voted
TIC
1998
Springer
15 years 4 months ago
Polymorphic Equality - No Tags Required
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...
Martin Elsman
SIGADA
1998
Springer
15 years 4 months ago
Looking into Safety with the Safety and Security Rapporteur Group
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
Stephen Michell, Mark Saaltink, Brian A. Wichmann
JBI
2006
107views Bioinformatics» more  JBI 2006»
15 years 15 days ago
KDE Bioscience: Platform for bioinformatics analysis workflows
Bioinformatics is a dynamic research area in which a large number of algorithms and programs have been developed rapidly and independently without much consideration so far of the...
Qiang Lu, Pei Hao, Vasa Curcin, Wei-Zhong He, Yuan...