2947 search results - page 353 / 590 » Analyzing Program Analyses |
161
click to vote
ADAEUROPE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We study two textbooks for teaching undergraduate softineering, both focusing on software design and data abstraction in particular. We describe the differences in their...
166
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the implementation of an automatic target recognition ATR Probing algorithm on a recon gurable system, using the SA-C programming language and optimizing co...
169
click to vote
AGENTS
1998
Springer
15 years 10 months ago
1998
Springer
Mobile agents are programs that can migrate from machine to machine in a heterogeneous, partially disconnected network. As mobile agents move across a network, they consume resour...
161
click to vote
LCTRTS
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
147
click to vote
PPSN
1998
Springer
15 years 10 months ago
1998
Springer
Many optimization problems require the satisfaction of constraints in addition to their objectives. When using an evolutionary algorithm to solve such problems, these constraints c...