1678 search results - page 76 / 336 » An ASM Specification of C |
FOCS
2010
IEEE
13 years 5 months ago
2010
IEEE
We give subexponential time approximation algorithms for UNIQUE GAMES and the SMALL-SET EXPANSION. Specifically, for some absolute constant c, we give:
TASLP
2010
13 years 2 months ago
2010
While most speech enhancement algorithms improve speech quality, they may not improve speech intelligibility in noise. This paper focuses on the development of an algorithm that ca...
ASWEC
2008
IEEE
14 years 2 months ago
2008
IEEE
The past ten years have seen a radical shift in business application software development. Rather than developing software from scratch using a conventional programming language, ...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
WORM
2003
13 years 9 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...