7557 search results - page 1403 / 1512 » Modeling Timed Concurrent Systems |
128
click to vote
HIPC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
116
click to vote
LCPC
2004
Springer
15 years 7 months ago
2004
Springer
Previous work shows the possibility of predicting the cache miss rate (CMR) for all inputs of a program. However, most optimization techniques need to know more than the miss rate ...
137
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
143
Voted
SCOPES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
111
click to vote
SCOPES
2004
Springer
15 years 7 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...