3911 search results - page 456 / 783 » Using Operational Architecture to Model Embedded Software |
210
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
160
click to vote
DSN
2003
IEEE
16 years 2 days ago
2003
IEEE
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
180
click to vote
AUTONOMICS
2007
ACM
15 years 10 months ago
2007
ACM
Smart camera networks provide the opportunity to detect, classify, and trace visual events by means of a wireless network of embedded computing devices equipped with camera sensor...
196
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
156
click to vote
IWPSE
2003
IEEE
16 years 1 days ago
2003
IEEE
There is a growing demand to port existing PC-based software systems to mobile device platforms. Systems running on mobile devices share basic characteristics with their PC-based ...