Sciweavers

15416 search results - page 153 / 3084
» Embeddings of Computable Structures
Sort
View
SIES
2007
IEEE
15 years 10 months ago
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
Simon Tjell
100
Voted
DAC
1999
ACM
16 years 5 months ago
Embedded Application Design Using a Real-Time OS
David Stepner, Nagarajan Rajan, David Hui
DAC
2001
ACM
16 years 5 months ago
An Approach to Incremental Design of Distributed Embedded Systems
Paul Pop, Petru Eles, Traian Pop, Zebo Peng
DAC
2002
ACM
16 years 5 months ago
Complex library mapping for embedded software using symbolic algebra
Armita Peymandoust, Giovanni De Micheli, Tajana Si...
GD
2005
Springer
15 years 9 months ago
SDE: Graph Drawing Using Spectral Distance Embedding
Ali Civril, Malik Magdon-Ismail, Eli Bocek-Rivele