1729 search results - page 198 / 346 » Deterministic Expressions in C |
FSEN
2009
Springer
14 years 4 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
APLAS
2009
ACM
14 years 4 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
We present Flow-based Management Language (FML), a declarative policy language for managing the configuration of enterprise networks. FML was designed to replace the many dispara...
ICIP
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we present a novel algorithm for wavelet domain image denoising using the soft thresholding function. The thresholds are designed to be locally optimal with respect...
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...