4305 search results - page 500 / 861 » Analysing Protocol Implementations |
181
click to vote
DL
2000
Springer
15 years 11 months ago
2000
Springer
Our project focuses on rapid formation and utilization of custom collections of information for groups focused on high-paced tasks. Assembling such collections, as well as organiz...
196
click to vote
IEEEPACT
1999
IEEE
15 years 11 months ago
1999
IEEE
Automatic parallelization of general-purpose programs is still not possible in general in the presence of irregular data structures and complex control-flows. One promising strate...
182
click to vote
ER
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper, we present the complete classification of recursive relationships and the criteria that contribute to the structural validity of modeling recursive relatio...
187
Voted
SSDBM
1999
IEEE
15 years 11 months ago
1999
IEEE
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
148
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...