Sciweavers

33 search results - page 5 / 7
» Multiple Perspectives on Executable Acceptance Test-Driven D...
Sort
View
SEMCO
2008
IEEE
13 years 11 months ago
TcruziKB: Enabling Complex Queries for Genomic Data Exploration
We developed a novel analytical environment to aid in the examination of the extensive amount of interconnected data available for genome projects. Our focus is to enable ity and ...
Pablo N. Mendes, Bobby McKnight, Amit P. Sheth, Je...
HICSS
2005
IEEE
138views Biometrics» more  HICSS 2005»
13 years 11 months ago
A Method to Redesign the IS Portfolios in Large Organisations
Over the past decades, large organisations have developed increasingly complex portfolios of information systems to support business processes. Maintenance and leveraging of these...
Remco Groot, Martin Smits, Halbe Kuipers
SIGSOFT
2010
ACM
13 years 3 months ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...
ICCAD
2006
IEEE
177views Hardware» more  ICCAD 2006»
14 years 2 months ago
Application-specific customization of parameterized FPGA soft-core processors
Soft-core microprocessors mapped onto field-programmable gate arrays (FPGAs) represent an increasingly common embedded software implementation option. Modern FPGA soft-cores are p...
David Sheldon, Rakesh Kumar, Roman L. Lysecky, Fra...
BMCBI
2007
135views more  BMCBI 2007»
13 years 5 months ago
LIMPIC: a computational method for the separation of protein MALDI-TOF-MS signals from noise
Background: Mass spectrometry protein profiling is a promising tool for biomarker discovery in clinical proteomics. However, the development of a reliable approach for the separat...
Dante Mantini, Francesca Petrucci, Damiana Pierago...