Sciweavers

2392 search results - page 382 / 479
» Performance modeling from software components
Sort
View
CODES
1999
IEEE
14 years 13 days ago
A flexible code generation framework for the design of application specific programmable processors
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
François Charot, Vincent Messé
FASE
2009
Springer
13 years 12 months ago
Enhanced Property Specification and Verification in BLAST
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
Ondrej Sery
PPOPP
1995
ACM
13 years 11 months ago
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation
Low-overhead message passing is critical to the performance of many applications. Active Messages[27] reduce the software overhead for message handling: messages are run as handle...
Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johns...
CORR
2010
Springer
130views Education» more  CORR 2010»
13 years 5 months ago
Ontology-based Queries over Cancer Data
The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Exi...
Alejandra González Beltrán, Ben Tagg...
ICC
2009
IEEE
117views Communications» more  ICC 2009»
14 years 2 months ago
Reduced-Rank Adaptive Least Bit Error-Rate Detection in Hybrid Direct-Sequence Time-Hopping Ultrawide Bandwidth Systems
— In this paper we consider the low-complexity detection in hybrid direct-sequence time-hopping ultrawide bandwidth (DS-TH UWB) systems. A reduced-rank adaptive LBER detector is ...
Qasim Zeeshan Ahmed, Lie-Liang Yang, Sheng Chen