682 search results - page 95 / 137 » Java Implementation Verification Using Reverse Engineering |
ESEM
2008
ACM
13 years 10 months ago
2008
ACM
Project managers can use capture-recapture models to manage the inspection process by estimating the number of defects present in an artifact and determining whether a reinspectio...
FPL
2008
Springer
13 years 10 months ago
2008
Springer
A high-speed and secure dynamic partial reconfiguration (DPR) system is realized with AES-GCM that guarantees both confidentiality and authenticity of FPGA bitstreams. In DPR syst...
WCRE
2006
IEEE
14 years 2 months ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
ISPASS
2010
IEEE
14 years 3 months ago
2010
IEEE
Continuous circuit miniaturization and increased process variability point to a future with diminishing returns from dynamic voltage scaling. Operation below Vcc-min has been prop...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...