3825 search results - page 113 / 765 » More on pooling spaces |
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents a novel technique, called input space adaptive software synthesis, for the energy and performance optimization of embedded software. The proposed technique is ...
102
click to vote
FOCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— We consider the problem of estimating cascaded aggregates over a matrix presented as a sequence of updates in a data stream. A cascaded aggregate P ◦Q is defined by ...
AUTOMOTIVEUI
2009
ACM
15 years 4 months ago
2009
ACM
Over the last 100 years it has become much easier to operate a car. However in recent years the number of functions a user can control while driving has greatly increased. Infotai...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
CGF
2002
14 years 9 months ago
2002
Elliptical weighted average (EWA) surface splatting is a technique for high quality rendering of point-sampled 3D objects. EWA surface splatting renders water-tight surfaces of co...