Sciweavers

3022 search results - page 311 / 605
» Make Way for WayMaker
Sort
View
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 10 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
AH
2006
Springer
15 years 10 months ago
Recomindation: New Functions for Augmented Memories
Advances in technological support for augmented personal memories make possible new ways of enhancing the process of product recommendation. Instead of simply analyzing information...
Carolin Plate, Nathalie Basselin, Alexander Kr&oum...
APSEC
2004
IEEE
15 years 10 months ago
A Systematic Method to Identify Software Components
In component-based development (CBD), component is the basic unit for reuse and it provides a relatively coarse-grained functionality. A component typically consists of several re...
Soo Dong Kim, Soo Ho Chang
BIBE
2004
IEEE
128views Bioinformatics» more  BIBE 2004»
15 years 10 months ago
Towards a Proteomics Meta-Classification
There is a recognized need for a meta-classification that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins...
Anand Kumar, Barry Smith
ASAP
2006
IEEE
108views Hardware» more  ASAP 2006»
15 years 10 months ago
New Schemes in Clustered VLIW Processors Applied to Turbo Decoding
State-of-the-art communication standards make extensive use of Turbo codes. The complex and power consuming designs that currently implement the turbo decoder expose the need for ...
Pablo Ituero, Marisa López-Vallejo