4520 search results - page 391 / 904 » Algebraic Techniques for Timed Systems |
210
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
203
click to vote
ISAAC
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we present a randomized parallel algorithm to sample matchings from an almost uniform distribution on the set of matchings of all sizes in a graph. First we prove th...
188
click to vote
PROCEDIA
2010
15 years 6 months ago
2010
Visualising computational simulation models of solid state physical systems is a hard problem for dense lattice models. Fly throughs and cutaways can aid viewer understanding of a...
171
click to vote
ICIP
2004
IEEE
16 years 9 months ago
2004
IEEE
This paper proposes two techniques for low-complexity rate-distortion (R-D) optimized streaming of packetized video. These techniques enable computing packet transmission schedule...
212
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
WWW-based Internet information service has grown enormously during the last few years, and major performance bottlenecks have been caused by WWW server and Internet bandwidth inad...