Sciweavers

578 search results - page 42 / 116
» Analysis of Programs with Exception-Handling Constructs
Sort
View
KES
2008
Springer
13 years 8 months 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
14 years 1 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
TIC
1998
Springer
14 years 29 days 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
14 years 29 days 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»
13 years 8 months 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...