1937 search results - page 32 / 388 » Starting B Specifications from Use Cases |
129
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
118
Voted
UML
2005
Springer
15 years 7 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
152
click to vote
ICIP
2000
IEEE
16 years 3 months ago
2000
IEEE
This paper presents a new definition of a spatial entropy mainly based on the Markov Random Field (MRF) properties. Starting with the study of the entropy proposed in [1] for the ...
152
Voted
DAC
2010
ACM
15 years 5 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
100
Voted
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes the design of a low-cost, low-power smart imaging core that can be embedded in cameras. The core integrates an ARM 9 processor, a camera interface and two spe...