7103 search results - page 705 / 1421 » Program Generation and Components |
223
click to vote
IPCCC
2007
IEEE
16 years 1 months ago
2007
IEEE
The success of any spyware is determined by its ability to evade detection. Although traditional detection methodologies employing signature and anomaly based systems have had rea...
164
click to vote
DATE
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper presents a new method to automatically generate posynomial symbolic expressions for the performance characteristics of analog integrated circuits. The coefficient set ...
192
click to vote
RSP
2003
IEEE
16 years 15 days ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
207
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
180
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...