309 search results - page 25 / 62 » Termination proofs for systems code |
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
BIRTHDAY
2007
Springer
14 years 1 months ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
SCP
2011
13 years 2 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
JSAC
2006
13 years 7 months ago
2006
Abstract--This paper studies the performance of ultra-wideband (UWB) radio communications systems employing phase shift keying (PSK) modulation and fully saturated power amplifiers...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
— Large MIMO systems with tens of antennas in each communication terminal using full-rate non-orthogonal spacetime block codes (STBC) from Cyclic Division Algebras (CDA) can achi...