4770 search results - page 638 / 954 » Flexible Type Analysis |
165
click to vote
WSC
2008
15 years 9 months ago
2008
A large number of operational tools exist to help researchers determine business solutions for their customers. Each individual tool serves a distinct purpose for specific types o...
190
Voted
WSC
2008
15 years 9 months ago
2008
Class Based Weighted Fair Queueing (CBWFQ) is a very important router discipline that allows different types of Internet Protocol (IP) traffic like voice, video, and best effort d...
173
click to vote
WSC
2008
15 years 9 months ago
2008
Design Of Experiments (DOE) is needed for experiments with real-life systems, and with either deterministic or random simulation models. This contribution discusses the different ...
181
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Software complexity is often hypothesized to be the enemy of software security. We performed statistical analysis on nine code complexity metrics from the JavaScript Engine in the...
186
click to vote
ISQED
2010
IEEE
15 years 8 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...