1700 search results - page 242 / 340 » Specifying and implementing refactorings |
134
click to vote
TACS
1997
Springer
15 years 10 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
188
click to vote
ISCAS
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents a novel VLSI architecture for high-speed data compressor designs which implement the well-known LZ77 algorithm. The architecture mainly consists of three units...
164
click to vote
PPOPP
1993
ACM
15 years 10 months ago
1993
ACM
A vast body of theoretical research has focused either on overly simplistic models of parallel computation, notably the PRAM, or overly specific models that have few representati...
166
click to vote
POS
1994
Springer
15 years 10 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
163
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
We present a new particle-based approach to sampling and controlling implicit surfaces. A simple constraint locks a set of particles onto a surface while the particles and the sur...