606 search results - page 51 / 122 » A Comparative Study of Industrial Static Analysis Tools |
168
click to vote
MANSCI
2011
14 years 9 months ago
2011
Many revenue management (RM) industries are characterized by (a) fixed capacities in the short term (e.g., hotel rooms, seats on an airline flight), (b) homogeneous products (e....
159
click to vote
ERSA
2006
15 years 7 months ago
2006
In this case study, various ways to partition a code between the microprocessor and FPGA are examined. Discrete image convolution operation with separable kernel is used as the ca...
179
Voted
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Most current aspect composition mechanisms rely on syntactic references to the base modules or wildcard mechanisms quantifying over such syntactic references in pointcut expressio...
144
click to vote
CCR
2005
15 years 6 months ago
2005
We focus in this paper on Internet flows, consider their contributions to the overall traffic per time unit or bin, and perform a multi-scale and multi-protocol analysis to explor...
152
click to vote
CASES
2006
ACM
16 years 19 hour ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...