Sciweavers

1077 search results - page 143 / 216
» Approximate reduction of dynamic systems
Sort
View
EMSOFT
2004
Springer
15 years 6 months ago
Binary translation to improve energy efficiency through post-pass register re-allocation
Energy efficiency is rapidly becoming a first class optimization parameter for modern systems. Caches are critical to the overall performance and thus, modern processors (both hig...
Kun Zhang, Tao Zhang, Santosh Pande
OSDI
2002
ACM
16 years 1 months ago
Vertigo: Automatic Performance-Setting for Linux
Combining high performance with low power consumption is becoming one of the primary objectives of processor designs. Instead of relying just on sleep mode for conserving power, a...
Krisztián Flautner, Trevor N. Mudge
107
Voted
ICIP
2005
IEEE
16 years 2 months ago
An efficient Rao-Blackwellized particle filter for object tracking
In this paper we present a technique for the tracking of textured almost planar object. The target is modeled as a noisy planar cloud of points. The tracking is led with an approp...
Étienne Mémin, Elise Arnaud
LICS
2000
IEEE
15 years 5 months ago
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
Alan Jeffrey, Julian Rathke
118
Voted
INFOCOM
1999
IEEE
15 years 5 months ago
Measurement-Based Band Allocation in Multiband CDMA
Multiband (or multi-carrier) CDMA is a promising approach to increasing the capacity of CDMA networks, while maintaining compatibility with existing systems. This paper investigate...
Lachlan L. H. Andrew