446 search results - page 81 / 90 » Power Efficient Mediaprocessors: Design Space Exploration |
NDSS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
With pervasive gaming, novel types of games have recently emerged. The idea is to apply pervasive computing technology - which embeds computers in real-world, everyday environment...
132
click to vote
OOPSLA
2000
Springer
15 years 1 months ago
2000
Springer
Propagation-based call graph construction algorithms have been studied intensively in the 1990s, and differ primarily in the number of sets that are used to approximate run-time v...
CAE
2007
15 years 6 hour ago
2007
This paper proposes two simple and powerful algorithms to automatically paint Celtic knots with aesthetic colors. The shape of the knot is generated from its dual graph as present...
GIS
2010
ACM
14 years 7 months ago
2010
ACM
With resource-efficient summarization and accurate reconstruction of the historic traffic sensor data, one can effectively manage and optimize transportation systems (e.g., road n...