Sciweavers

4764 search results - page 324 / 953
» Applications of Error-Control Coding
Sort
View
166
Voted
CROSSROADS
2008
86views more  CROSSROADS 2008»
15 years 6 months ago
The use of compiler optimizations for embedded systems software
O ptimizing embedded applications using a compiler can generally be broken down into two major categories: hand-optimizing code to take advantage of a particular processor's ...
Joe Bungo
SIGSOFT
2010
ACM
15 years 4 months ago
Phantm: PHP analyzer for type mismatch
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
Etienne Kneuss, Philippe Suter, Viktor Kuncak
CAV
2011
Springer
253views Hardware» more  CAV 2011»
14 years 10 months ago
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. G...
INFOCOM
2012
IEEE
13 years 9 months ago
TurfCast: A service for controlling information dissemination in wireless networks
—Recent years have witnessed mass proliferation of mobile devices with rich wireless communication capabilities as well as emerging mobile device based information dissemination ...
Xinfeng Li, Jin Teng, Boying Zhang, Adam C. Champi...
IISWC
2008
IEEE
16 years 1 months ago
Evaluating the impact of dynamic binary translation systems on hardware cache performance
Dynamic binary translation systems enable a wide range of applications such as program instrumentation, optimization, and security. DBTs use a software code cache to store previou...
Arkaitz Ruiz-Alvarez, Kim M. Hazelwood