672 search results - page 129 / 135 » On the Expressive Power of the Loop Language |
112
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...
117
click to vote
CCS
2006
ACM
15 years 3 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
109
click to vote
EDBT
2008
ACM
15 years 11 months ago
2008
ACM
There has been much recent interest in on-line data mining. Existing mining algorithms designed for stored data are either not applicable or not effective on data streams, where r...
107
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
111
click to vote
SIGDOC
1998
ACM
15 years 3 months ago
1998
ACM
It is hard to manage the software design documents within a distributed development team. The issues include the format, distribution and evolution of data. This paper mainly focu...