4666 search results - page 108 / 934 » Equations on Timed Languages |
109
Voted
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We consider a physical model of ultrafast evolution of an initial electron distribution in a quantum wire. The electron evolution is described by a quantum-kinetic equati...
116
click to vote
SIGMOD
1996
ACM
15 years 5 months ago
1996
ACM
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
132
click to vote
AC
2000
Springer
15 years 5 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
117
click to vote
IWMM
2010
Springer
15 years 2 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
129
Voted
CC
2002
Springer
15 years 19 days ago
2002
Springer
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...