4666 search results - page 294 / 934 » Equations on Timed Languages |
164
click to vote
CCE
2005
15 years 6 months ago
2005
High purity distillation columns are critical unit operations in cryogenic air separation plants. The development of nonlinear control technology is motivated by the need to frequ...
193
click to vote
FAC
2000
15 years 6 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
165
click to vote
TJS
2002
15 years 6 months ago
2002
The formulation, implementation and performance of a new fully implicit parallel model of the ocean circulation is presented. Within this model, steady states can be traced in one ...
203
click to vote
Publication
Internet memes are phenomena that rapidly gain popularity or notoriety on the Internet. Often, modifications or spoofs add to the profile of the original idea thus turning it into ...
204
Voted
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...