1925 search results - page 295 / 385 » Documenting software systems with views |
115
Voted
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
136
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...
171
click to vote
LCTRTS
1999
Springer
15 years 9 months ago
1999
Springer
A Zero Overhead Loop Buffer (ZOLB) is an architectural feature that is commonly found in DSP processors. This buffer can be viewed as a compiler managed cache that contains a sequ...
118
Voted
B
1998
Springer
15 years 9 months ago
1998
Springer
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
172
click to vote
ICSM
1997
IEEE
15 years 8 months ago
1997
IEEE
Function Point Analysis (FPA) is a well-known method to measure the functionality of a system, from the user’s point of view. Both Albrecht’s original model and a local varian...