Sciweavers

6197 search results - page 271 / 1240
» Sandbridge Software Tools
Sort
View
SIGSOFT
2004
ACM
16 years 7 months ago
Testing static analysis tools using exploitable buffer overflows from open source code
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
Misha Zitser, Richard Lippmann, Tim Leek
OOPSLA
2005
Springer
16 years 3 days ago
MDAbench: a tool for customized benchmark generation using MDA
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
Liming Zhu, Yan Liu, Ian Gorton, Ngoc Bao Bui
APVIS
2006
15 years 8 months ago
SnapShoot: integrating semantic analysis and visualization techniques for web-based note taking system
We have many application software today to support reading and writing respectively. However, we believe that few applications available today fully support both reading and writi...
Soichiro Iga, Makoto Shinnishi
WSC
2000
15 years 8 months ago
SLX: the X is for extensibility
SLX, Simulation Language with Extensibility, is the newest member in Wolverine Software's family of simulation and animation software. SLX features unique extensibility mecha...
James O. Henriksen
OOPSLA
2010
Springer
15 years 4 months ago
Towards a tool-based development methodology for sense/compute/control applications
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
Damien Cassou, Julien Bruneau, Julien Mercadal, Qu...