7167 search results - page 207 / 1434 » A Technique for Invariant Generation |
163
click to vote
SAMOS
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
182
click to vote
LCTRTS
2004
Springer
16 years 17 days ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
178
click to vote
UIST
2003
ACM
16 years 13 days ago
2003
ACM
Recent work is beginning to reveal the potential of numerical optimization as an approach to generating interfaces and displays. Optimization-based approaches can often allow a mi...
203
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
In software testing, it is often desirable to find test inputs that exercise specific program features. To find these inputs by hand is extremely time-consuming, especially whe...
199
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Many databases will not or can not be disclosed without strong guarantees that no sensitive information can be extracted. To address this concern several data perturbation techniq...