12257 search results - page 453 / 2452 » Analysis of Algorithms |
168
Voted
FSTTCS
2005
Springer
16 years 12 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
198
Voted
ISSAC
2004
Springer
16 years 7 days ago
2004
Springer
The FFLAS project has established that exact matrix multiplication over finite fields can be performed at the speed of the highly optimized numerical BLAS routines. Since many a...
181
Voted
ASPDAC
2006
ACM
16 years 25 days ago
2006
ACM
- We propose a hardware performance estimation flow for fast design space exploration, based on worst-case execution time analysis algorithms for software analysis. Test cases on s...
157
Voted
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
High-end biomedical applications are a good target for specificpurpose system-on-chip (SoC) implementations. Human heart electrocardiogram (ECG) real-time monitoring and analysis ...
178
Voted
VIS
2007
IEEE
16 years 8 months ago
2007
IEEE
A current research topic in molecular thermodynamics is the condensation of vapor to liquid and the investigation of this process at the molecular level. Condensation is found in m...