168 search results - page 18 / 34 » Nominal System T |
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
Spatially-correlated intra-die process variations result in significant core-to-core frequency variations in chip-multiprocessors. An analytical model for frequency island chip-mu...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
ICRA
2003
IEEE
14 years 28 days ago
2003
IEEE
This paper describes recent developments on the model identification and attitude control system for a Micmmechanical Flying lnsect (MFI). We include recently developed dynamical m...