3713 search results - page 503 / 743 » Constructing a Calculus of Programs |
135
click to vote
INFORMATICALT
2000
15 years 3 months ago
2000
Abstract. The paper presents new method for sequential classification of the time series observations. Methods and algorithms of sequential recognition are obtained on the basis of...
118
click to vote
TCC
2010
Springer
15 years 2 months ago
2010
Springer
Previous work on program obfuscation gives strong negative results for general-purpose obfuscators, and positive results for obfuscating simple functions such as equality testing (...
136
click to vote
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...
148
click to vote
TCS
2011
14 years 11 months ago
2011
This paper presents a 1D intrinsically universal cellular automaton with four states for a first neighbors neighborhood, improving on the previous lower bound and getting nearer ...
134
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...