Sciweavers

2292 search results - page 101 / 459
» Structure preserving embedding
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 3 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
ISARCS
2010
188views Hardware» more  ISARCS 2010»
15 years 1 months ago
Component Behavior Synthesis for Critical Systems,
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
Tobias Eckardt, Stefan Henkler
AML
2011
177views Mathematics» more  AML 2011»
14 years 4 months ago
A superhigh diamond in the c.e. tt-degrees
The notion of superhigh computably enumerable (c.e.) degrees was first introduced by Mohrherr in [7], where she proved the existence of incomplete superhigh c.e. degrees, and high...
Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu ...
CORR
2010
Springer
90views Education» more  CORR 2010»
14 years 10 months ago
Two-Domain DNA Strand Displacement
We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand....
Luca Cardelli
IPL
2007
97views more  IPL 2007»
14 years 9 months ago
What is a free name in a process algebra?
There are two popular approaches to specifying the semantics of process algebras: labelled transition semantics and reaction semantics. While the notion of free name is rather unp...
Flemming Nielson, Hanne Riis Nielson, Henrik Pileg...