882 search results - page 26 / 177 » Allowing State Changes in Specifications |
228
click to vote
HPCA
2011
IEEE
14 years 9 months ago
2011
IEEE
Flash memory based solid state drives (SSDs) have shown a great potential to change storage infrastructure fundamentally through their high performance and low power. Most recent ...
157
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
140
click to vote
MPC
1992
Springer
15 years 10 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
156
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
The design and synthesis of asynchronous circuits is gaining importance in both the industrial and academic worlds. Timed circuits are a class of asynchronous circuits that incorp...
162
click to vote
WSR
2008
15 years 7 months ago
2008
: Traceability of various artifacts created during the development of software systems plays an important role in software evolution. Subsequent changes to artifacts must be traced...