2947 search results - page 234 / 590 » Analyzing Program Analyses |
195
click to vote
MOZ
2004
Springer
15 years 12 months ago
2004
Springer
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
185
click to vote
ISCA
2002
IEEE
15 years 11 months ago
2002
IEEE
An increasingly large portion of scheduler latency is derived from the monolithic content addressable memory (CAM) arrays accessed during instruction wakeup. The performance of th...
196
click to vote
IFL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
166
click to vote
PEPM
2000
ACM
15 years 10 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
187
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...