309 search results - page 26 / 62 » Termination proofs for systems code |
SIAMCOMP
1998
13 years 7 months ago
1998
This paper continues the investigation of the connection between probabilistically checkable proofs (PCPs) and the approximability of NP-optimization problems. The emphasis is on p...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper deals with throughput oriented Adaptive Modulation and Coding (AMC) techniques combined with cooperative protocols where terminals are constrained by half-duplex as...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
This paper investigates L-system evolution through experiments with a simulation platform of virtual plants. The conducted simulations vary the occurrence probability of terminal ...
BIRTHDAY
2003
Springer
13 years 11 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
SIGMOD
1997
ACM
13 years 12 months ago
1997
ACM
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...