Sciweavers

1719 search results - page 186 / 344
» Software Re-Documentation Process and Tool
Sort
View
VISUALIZATION
1999
IEEE
15 years 8 months ago
Accelerating 3D Convolution Using Graphics Hardware
Many volume filtering operations used for image enhancement, data processing or feature detection can be written in terms of threedimensional convolutions. It is not possible to y...
Matthias Hopf, Thomas Ertl
SAC
2010
ACM
15 years 4 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
WER
2001
Springer
15 years 8 months ago
Automatic Derivation of Workflow Specifications from Organizational Structures and Use Cases
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
María del Carmen Penadés, José...
ACSAC
2005
IEEE
15 years 10 months ago
Model Checking An Entire Linux Distribution for Security Violations
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
Benjamin Schwarz, Hao Chen, David Wagner, Jeremy L...
BMCBI
2011
14 years 11 months ago
OrthoInspector: comprehensive orthology analysis and visual exploration
Background: The accurate determination of orthology and inparalogy relationships is essential for comparative sequence analysis, functional gene annotation and evolutionary studie...
Benjamin Linard, Julie D. Thompson, Olivier Poch, ...