Sciweavers

2623 search results - page 366 / 525
» tools 2010
Sort
View
ISSTA
2010
ACM
13 years 10 months ago
A platform for search-based testing of concurrent software
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techni...
Bohuslav Krena, Zdenek Letko, Tomás Vojnar,...
ARC
2010
Springer
183views Hardware» more  ARC 2010»
13 years 10 months ago
Integrated Design Environment for Reconfigurable HPC
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
Lilian Janin, Shoujie Li, Doug Edwards
JTRES
2010
ACM
13 years 10 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
MM
2010
ACM
203views Multimedia» more  MM 2010»
13 years 10 months ago
Processing web-scale multimedia data
The Internet brings us access to multimedia databases with billions of data instances. The massive amount of data available to researchers and application developers brings both o...
Malcolm Slaney, Edward Y. Chang
MM
2010
ACM
175views Multimedia» more  MM 2010»
13 years 10 months ago
Embedded media marker: linking multimedia to paper
An Embedded Media Marker (EMM) is a transparent mark printed on a paper document that signifies the availability of additional media associated with that part of the document. Use...
Qiong Liu, Chunyuan Liao, Lynn Wilcox, Anthony Dun...