2024 search results - page 195 / 405 » A Formal Model of Multi-agent Computations |
153
click to vote
DAC
2006
ACM
15 years 10 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...
141
click to vote
BIRTHDAY
2005
Springer
15 years 10 months 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 ...
117
Voted
BPM
2005
Springer
15 years 10 months 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...
166
Voted
HPCA
2002
IEEE
15 years 9 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 ...
136
click to vote
HPCC
2009
Springer
15 years 9 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...