4666 search results - page 60 / 934 » Equations on Timed Languages |
SIAMMA
2010
13 years 5 months ago
2010
This paper concerns the reconstruction of the absorption and scattering parameters in a time-dependent linear transport equation from full knowledge of the albedo operator at the ...
SFP
2003
14 years 4 days ago
2003
Abstract This paper explores the suitability of functional languages for programming real-time systems. We study the requirements of real-time systems in general, outline typical l...
ICALP
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
ENTCS
2007
13 years 10 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
SAT
2009
Springer
14 years 5 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...