Search Sciweavers | Sciweavers

15416 search results - page 153 / 3084

» Embeddings of Computable Structures

164

click to vote

SIES
2007
IEEE

167views Embedded Systems» more SIES 2007»

Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems

15 years 10 months ago

Download person.au.dk

— This paper introduces and formally deﬁnes the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...

Simon Tjell

claim paper

Read More »

100

Voted

DAC
1999
ACM

131views Computer Architecture» more DAC 1999»

Embedded Application Design Using a Real-Time OS

16 years 5 months ago

Download www.ece.umd.edu

David Stepner, Nagarajan Rajan, David Hui

claim paper

Read More »

click to vote

DAC
2001
ACM

121views Computer Architecture» more DAC 2001»

An Approach to Incremental Design of Distributed Embedded Systems

16 years 5 months ago

Download www.ida.liu.se

Paul Pop, Petru Eles, Traian Pop, Zebo Peng

claim paper

Read More »

click to vote

DAC
2002
ACM

111views Computer Architecture» more DAC 2002»

Complex library mapping for embedded software using symbolic algebra

16 years 5 months ago

Download si2.epfl.ch

Armita Peymandoust, Giovanni De Micheli, Tajana Si...

claim paper

Read More »

108

click to vote

GD
2005
Springer

117views Computer Graphics» more GD 2005»

SDE: Graph Drawing Using Spectral Distance Embedding

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers