Sciweavers

1130 search results - page 78 / 226
» Challenges in the design of automotive software
Sort
View
CODES
2000
IEEE
15 years 10 months ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...
BMCBI
2008
113views more  BMCBI 2008»
15 years 6 months ago
SNPFile - A software library and file format for large scale association mapping and population genetics studies
Background: High-throughput genotyping technology has enabled cost effective typing of thousands of individuals in hundred of thousands of markers for use in genome wide studies. ...
Jesper Nielsen, Thomas Mailund
SIGMOD
2009
ACM
122views Database» more  SIGMOD 2009»
16 years 6 months ago
Finding min-repros in database software
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
Nicolas Bruno, Rimma V. Nehme
WECWIS
2006
IEEE
106views ECommerce» more  WECWIS 2006»
16 years 10 days ago
Transactions in Distributed Event-Based Middleware
Distributed event-based middleware (DEBM) provides a basis for the interoperation of autonomous components in large-scale systems. Transactions ensure the atomic and reliable exec...
Luis Vargas, Jean Bacon, Ken Moody
AOSE
2008
Springer
15 years 8 months ago
Evaluating an Agent-Oriented Approach for Change Propagation
A central problem in software maintenance is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed? Altho...
Khanh Hoa Dam, Michael Winikoff