1285 search results - page 172 / 257 » Structural Operators for Modeling 3-Manifolds |
135
Voted
TACS
2001
Springer
15 years 8 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
129
Voted
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
This work presents a new diagnosis method for use in an adaptive analog tester. The tester is able to detect faults in any linear circuit by learning a reference behavior in a fir...
144
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
130
Voted
ICMCS
1994
IEEE
15 years 8 months ago
1994
IEEE
Continuous media playback suffers when a station's operating system offers insufficient 1/0 throughput. Conventional 1/0 system structures support a memory-oriented read and ...
133
Voted
COORDINATION
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...