340 search results - page 62 / 68 » Validating Business Requirements Using MAS Analysis Models |
127
Voted
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...
120
Voted
BMCBI
2011
14 years 4 months ago
2011
Background: Analysis of Cerebrospinal Fluid (CSF) samples holds great promise to diagnose neurological pathologies and gain insight into the molecular background of these patholog...
146
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
133
click to vote
CODES
2009
IEEE
15 years 5 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
190
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Miss rate curves (MRCs) are useful in a number of contexts. In our research, online L2 cache MRCs enable us to dynamically identify optimal cache sizes when cache-partitioning a s...