7681 search results - page 39 / 1537 » Typed Membrane Systems |
TIC
1998
Springer
15 years 1 months ago
1998
Springer
USS
2004
14 years 11 months ago
2004
105
click to vote
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
ICRA
1998
IEEE
15 years 2 months ago
1998
IEEE
Vibrations can significantly enhance touch perception for virtual environment applications with minimal design complexity and cost. In order to create realistic vibrotactile feedb...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
In this work, we describe a simple 1-mask sacrificial layer process that allows us to prototype a tuneable capacitor. The process is specially optimized to procure a dual picks pr...