3911 search results - page 363 / 783 » Using Operational Architecture to Model Embedded Software |
185
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
175
click to vote
WSCG
2000
15 years 8 months ago
2000
Many engineering disciplines can profitably use large high-resolution geometric models whose computational requirements exceed current computer hardware capacities. This paper pre...
175
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
IEEE 802.15.4/ZigBee and TinyOS have been playing an important role in leveraging a new generation of large-scale networked embedded systems. However, based on previous experience...
161
Voted
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
The U.S. Capitol Police (USCP) are responsible for protecting the Capitol Hill complex encompassing the Senate and House office buildings and the Capitol building. Currently, the ...
208
click to vote
ISCA
1999
IEEE
15 years 11 months ago
1999
IEEE
Information integrity in cache memories is a fundamental requirement for dependable computing. Conventional architectures for enhancing cache reliability using check codes make it...