1937 search results - page 32 / 388 » Starting B Specifications from Use Cases |
188
click to vote
IPPS
2003
IEEE
15 years 12 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...
173
click to vote
UML
2005
Springer
16 years 2 days 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...
221
click to vote
ICIP
2000
IEEE
16 years 8 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 ...
218
click to vote
DAC
2010
ACM
15 years 10 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...
150
click to vote
CODES
2005
IEEE
16 years 6 days 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...