1262 search results - page 84 / 253 » Techniques for obtaining high performance in Java programs |
162
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Resource-Limited Genetic Programming is a bloat control technique that imposes a single limit on the total amount of resources available to the entire population, where resources ...
133
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
159
click to vote
IC
2004
15 years 6 months ago
2004
The existing TCP (Transmission Control Protocol) is known to be unsuitable for a network with the characteristics of high BDP (Bandwidth-Delay Product) because of the fixed small o...
131
click to vote
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
141
click to vote
TCOM
2010
14 years 12 months ago
2010
Abstract--This paper proposes spectral efficient relayassisted transmit diversity techniques, i.e., space-time and space-frequency block codes (STBC/SFBC), for single carrier frequ...