15416 search results - page 207 / 3084 » Embeddings of Computable Structures |
117
click to vote
TSMC
2008
15 years 4 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
122
click to vote
SIGCSE
2002
ACM
15 years 4 months ago
2002
ACM
A course that surveys state-of-the-art microprocessors offers an excellent forum for students to see how computer architecture techniques are employed in practice and for them to ...
116
click to vote
ISORC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an analysis of the future of Embedded Linux in the PostPC industry. This analysis is carried out by first examining the current forces at work in the PostPC ma...
154
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—Dynamic software updating research efforts have mostly been focused on updating application code and in-memory state. As more and more applications use embedded databases for st...
129
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
`Embedded phenomena' is a learning technology framework in which simulated scientific phenomena are mapped onto the physical space of classrooms. Students monitor and control...