524 search results - page 57 / 105 » Characterizing the Paralation Model using Dynamic Assignment |
108
click to vote
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
137
Voted
WSC
1997
15 years 3 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
102
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an efficient modeling scheme and a partitioning heuristic for parallelizing VLSI post-placement timing optimization. Encoding the paths with timing violations...
145
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
: This paper presents a dynamic energy management policy for a wireless video streaming system, consisting of a battery-powered client and a video server. The video quality in wire...
159
click to vote
SOCIALCOM
2010
15 years 3 days ago
2010
We explore the hypothesis that it is possible to obtain information about the dynamics of a blog network by analysing the temporal relationships between blogs at a semantic level, ...