7167 search results - page 206 / 1434 » A Technique for Invariant Generation |
191
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
In this paper we describe an area efficient power minimization scheme "Control Generated ClockingI` that saves significant amounts of power in datapath registers and clock dr...
190
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
189
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
An important yet largely uncharted problem in malware defense is how to automate generation of infection signatures for detecting compromised systems, i.e., signatures that charac...
177
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
Streaming a lecture video via the Internet is important for Elearning. We have developed a system that generates a lecture video using virtual camerawork based on shooting techniq...
198
click to vote
CIKM
2005
Springer
16 years 22 days ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...