1407 search results - page 99 / 282 » Using Use Cases in Executable Z |
132
click to vote
DSD
2007
IEEE
15 years 10 months ago
2007
IEEE
— Programmable multiprocessor systems-on-chip are becoming the preferred implementation platform for embedded streaming applications. This enables using more software components,...
144
click to vote
ICPP
2006
IEEE
15 years 10 months ago
2006
IEEE
Modeling the performance behavior of parallel applications to predict the execution times of the applications for larger problem sizes and number of processors has been an active ...
123
click to vote
USENIX
2003
15 years 5 months ago
2003
We present an in-kernel disk prefetcher which uses speculative execution to determine what data an application is likely to require in the near future. By placing our design withi...
128
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
120
click to vote
APL
1998
ACM
15 years 8 months ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...