205 search results - page 23 / 41 » Dynamic Analysis of Software Systems using Execution Pattern... |
KDD
2007
ACM
14 years 9 months ago
2007
ACM
The proliferation of malware has presented a serious threat to the security of computer systems. Traditional signature-based antivirus systems fail to detect polymorphic and new, ...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we propose a fully automatic dynamic scratchpad memory (SPM) management technique for instructions. Our technique loads required code segments into the SPM on deman...
TAPSOFT
1995
Springer
14 years 3 days ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...