9110 search results - page 345 / 1822 » Formally-Based Design Evaluation |
160
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—As flash memory became popular over various platforms, there is a strong demand on the performance degradation problem, due to the special characteristics of flash mem...
162
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
170
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely...
178
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...
180
click to vote
DSD
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper discusses possibilities for a choice of a pseudorandom pattern generator that is to be used in combination with the column-matching based built-in self-test design meth...