4781 search results - page 536 / 957 » Complexity at large |
174
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
A reachability question is a search across feasible paths through a program for target statements matching search criteria. In three separate studies, we found that reachability q...
187
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract—In this paper, we describe a receiver based congestion control policy that leverages TCP flow control mechanisms to prioritize mixed traffic loads across access links....
155
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...
199
click to vote
DSOM
2000
Springer
15 years 11 months ago
2000
Springer
The availability of object middleware, such as CORBA, is rapidly being accepted as a means for cost effective and fast development for a wide range of distributed applications. Dis...
197
click to vote
PPSN
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes a system for simulating the evolution of artificial 2D plant morphologies. Virtual plant genotypes are inspired by the mathematical formalism known as Lindenma...