Sciweavers

1636 search results - page 276 / 328
» Detecting similar software applications
Sort
View
ISLPED
1995
ACM
131views Hardware» more  ISLPED 1995»
15 years 9 months ago
Guarded evaluation: pushing power management to logic synthesis/design
The need to reduce the power consumption of the next generation of digital systems is clearly recognized. At the system level, power management is a very powerful technique and de...
Vivek Tiwari, Sharad Malik, Pranav Ashar
WWW
2005
ACM
16 years 7 months ago
Web page marker: a web browsing support system based on marking and anchoring
In this paper, we propose a web browsing support system, called WPM, which provides marking and anchoring functions on ordinary web browsers. WPM users can mark words and phrases ...
Takahiro Koga, Noriharu Tashiro, Tadachika Ozono, ...
CC
2009
Springer
116views System Software» more  CC 2009»
16 years 7 months ago
A Framework for Exploring Optimization Properties
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
Min Zhao, Bruce R. Childers, Mary Lou Soffa
COMSWARE
2007
IEEE
16 years 19 days ago
Competition between SOM Clusters to Model User Authentication System in Computer Networks
—Traditional authentication systems employed on Internet are facing an acute problem of intrusions. In this context we propose a neural architecture for user authentication throu...
Shrijit S. Joshi, Vir V. Phoha
FSTTCS
2007
Springer
16 years 13 days ago
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
Michael Backes, Markus Dürmuth, Ralf Küs...