2748 search results - page 463 / 550 » Generating Object-Z Specifications from Use Cases |
110
click to vote
ISCA
2000
IEEE
15 years 8 months ago
2000
IEEE
As DRAM access latencies approach a thousand instructionexecution times and on-chip caches grow to multiple megabytes, it is not clear that conventional cache structures continue ...
137
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Managing large-scale software projects involves a number of activities such as viewpoint extraction, feature detection, and requirements management, all of which require a human a...
162
Voted
MBEES
2008
15 years 5 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
135
click to vote
VLSISP
2008
15 years 3 months ago
2008
Advanced bit manipulation operations are not efficiently supported by commodity word-oriented microprocessors. Programming tricks are typically devised to shorten the long sequence...
127
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
OSprof is a versatile, portable, and efficient profiling methodology based on the analysis of latency distributions. Although OSprof has offers several unique benefits and has bee...