6581 search results - page 897 / 1317 » Formalizing Design Patterns |
180
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable...
189
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
184
click to vote
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Owing to the limited requirement for sensor processing in early networked sensor nodes, embedded software was generally built around the communication stack. Modern sensor nodes...
211
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
187
click to vote
ESOP
2004
Springer
16 years 8 days ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...