12257 search results - page 453 / 2452 » Analysis of Algorithms |
135
click to vote
FSTTCS
2005
Springer
15 years 10 months 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...
160
click to vote
ISSAC
2004
Springer
15 years 10 months 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...
144
click to vote
ASPDAC
2006
ACM
15 years 11 months 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...
127
click to vote
CODES
2007
IEEE
15 years 11 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 ...
137
click to vote
VIS
2007
IEEE
16 years 6 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...