5302 search results - page 283 / 1061 » Learning How to Separate |
146
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...
157
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
154
click to vote
EPK
2007
15 years 8 months ago
2007
: Today, architecture and business processes are modeled separately. The only integration in architectural diagrams is done with Petri nets in the Fundamental Modeling Concept. Sin...
186
click to vote
NIPS
2008
15 years 8 months ago
2008
We describe a novel class of distributions, called Mondrian processes, which can be interpreted as probability distributions over kd-tree data structures. Mondrian processes are m...
195
Voted
IADIS
2003
15 years 8 months ago
2003
: In this paper, we present NetAirt – a redirection system that separates redirection mechanisms from redirection policies. NetAirt is implemented in the form of a module for the...