3979 search results - page 375 / 796 » Wild control operators |
160
click to vote
EMSOFT
2003
Springer
16 years 15 hour ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
199
click to vote
TLCA
2001
Springer
15 years 11 months ago
2001
Springer
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
148
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Industrial Sawyer motor technology has existed for nearly three decades, traditionally being operated as open-loop positioners. Such systems can attain micron level motion resolut...
214
click to vote
ISLPED
1998
ACM
15 years 11 months ago
1998
ACM
Multi-Voltage CMOS MVCMOS is a design methodology for very low power supply voltages that uses low-threshold transistors in series with the supply rails. The control voltages on...
176
click to vote
ISSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a method that allows to observe and control the emulation of communicating systems consisting of hardware and software parts. The approach provides the ab...