7124 search results - page 138 / 1425 » Programming Languages and Operating Systems |
116
click to vote
SEFM
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
115
Voted
SCAM
2006
IEEE
15 years 8 months ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
148
Voted
HRI
2010
ACM
15 years 2 months ago
2010
ACM
In this paper a system, which is driven through natural language, that allows operators to select and manipulate objects in the environment using an industrial robot is proposed. I...
103
Voted
TACS
1991
Springer
15 years 6 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
103
Voted
TCAD
2002
15 years 2 months ago
2002
Embedded hard real-time software systems often need fine-grained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel l...