10916 search results - page 58 / 2184 » On Constructive Connectives and Systems |
INFOCOM
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper describes the design and implementation of a gigabit ATM switching system supporting link rates from 150 Mb/s to 2.4 Gb/s, with a uniquely e cient multicastswitch archi...
SIGMETRICS
2010
ACM
14 years 4 months ago
2010
ACM
Laboratory-based mobile wireless testbeds such as MeshTest and the CMU Wireless Emulator are powerful platforms that allow users to perform controlled, repeatable, mobile wireless ...
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
— In this paper, chaos in a current-mode controlled boost converter is studied. Firstly, the existence of chaos is proven theoretically in this system. The proof consists of show...
NIME
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we describe a virtual instrument or a performance space, placed at Høje Tåstrup train station in Denmark, which is meant to establish communicative connections bet...
ENTCS
2007
14 years 10 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...