2024 search results - page 195 / 405 » A Formal Model of Multi-agent Computations |
198
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
177
click to vote
BIRTHDAY
2005
Springer
16 years 17 days ago
2005
Springer
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...
155
Voted
BPM
2005
Springer
16 years 17 days ago
2005
Springer
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
212
click to vote
HPCA
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper proposes the use of formal feedback control theory as a way to implement adaptive techniques in the processor architecture. Dynamic thermal management (DTM) is used as ...
187
Voted
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...