113 search results - page 22 / 23 » A Next-Generation Platform for Analyzing Executables |
MICRO
2008
IEEE
14 years 12 days ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
ESCIENCE
2007
IEEE
14 years 10 days ago
2007
IEEE
This paper presents GMLE 1 , a generic and distributed framework for maximum likelihood evaluation. GMLE is currently being applied to astroinformatics for determining the shape o...
ATVA
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
MICAI
2005
Springer
13 years 11 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
EMSOFT
2004
Springer
13 years 11 months ago
2004
Springer
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...