11112 search results - page 2161 / 2223 » Computing Stuttering Simulations |
215
click to vote
BROADNETS
2005
IEEE
15 years 8 months ago
2005
IEEE
Multicast enables efficient data transmission from one source to multiple destinations, and has been playing an important role in Internet multimedia applications. Although sever...
115
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
In embedded cryptosystems, sensitive information can leak via timing, power, and electromagnetic channels. We introduce a novel power-smart system-on-chip architecture that provid...
139
click to vote
IEEEPACT
2005
IEEE
15 years 8 months ago
2005
IEEE
VLIW architectures are popular in embedded systems because they offer high-performance processing at low cost and energy. The major problem with traditional VLIW designs is that t...
128
click to vote
ITCC
2005
IEEE
15 years 8 months ago
2005
IEEE
has to be relayed to nodes interested in those events. Moreover, nodes may also generate queries to find events they are interested in. Thus there is a need to route the informatio...
145
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...