Sciweavers

4716 search results - page 527 / 944
» Iterative-free program analysis
Sort
View
ACTAC
2006
94views more  ACTAC 2006»
15 years 6 months ago
MedEdit: A Computer Assisted Image Processing and Navigation System for Orthopedic Trauma Surgery
The surgery of fractured bones is often a very complex problem. That is the reason why it would be beneficial to create a geometric and mechanic model of the bones before surgical...
Krisztián Ollé, Balázs Erd&ou...
BIB
2006
150views more  BIB 2006»
15 years 6 months ago
Open source tools and toolkits for bioinformatics: significance, and where are we?
This review summarizes important work in open-source bioinformatics software that has occurred over the past couple of years. The survey is intended to illustrate how programs and...
Jason E. Stajich, Hilmar Lapp
MM
2010
ACM
93views Multimedia» more  MM 2010»
15 years 5 months ago
Sonic visualiser: an open source application for viewing, analysing, and annotating music audio files
Sonic Visualiser is a friendly and flexible end-user desktop application for analysis, visualisation, and annotation of music audio files. Its stated goal is to be “the first...
Chris Cannam, Christian Landone, Mark B. Sandler
ICSE
2008
IEEE-ACM
16 years 7 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
WWW
2002
ACM
16 years 7 months ago
An event-condition-action language for XML
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
James Bailey, Alexandra Poulovassilis, Peter T. Wo...