: To model surface imperfections and weathering, we proposea two-step texture generation framework in between manual texture synthesis and automatic physical simulation. Although t...
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
Abderrazak Ghedamsi, Gregor von Bochmann, Rachida ...
Media spaces support collaboration, but the limited access they provide to remote colleagues' activities can undermine their utility. To address this limitation, we built an ...
William W. Gaver, Abigail Sellen, Christian Heath,...
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...