4666 search results - page 99 / 934 » Equations on Timed Languages |
CHI
2004
ACM
16 years 1 months ago
2004
ACM
A goal of human-robot interaction is to allow one user to operate multiple robots simultaneously. In such a scenario the robots provide leverage to the user's attention. The ...
111
click to vote
FOCM
2011
14 years 4 months ago
2011
We consider a wide class of semi linear Hamiltonian partial differential equations and their approximation by time splitting methods. We assume that the nonlinearity is polynomia...
112
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
118
Voted
ENTCS
2007
15 years 21 days ago
2007
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict fu...