2488 search results - page 466 / 498 » An improvement in formal verification |
133
click to vote
FEDCSIS
2011
14 years 29 days ago
2011
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...
CHI
2002
ACM
16 years 1 months ago
2002
ACM
We propose a formal experimental paradigm designed to help evaluate scrolling interaction techniques. Such a method is needed by interaction designers to quantify scrolling perfor...
145
click to vote
MOBIHOC
2005
ACM
16 years 27 days ago
2005
ACM
The throughput of wireless networks can be significantly improved by multi-channel communications compared with single-channel communications since the use of multiple channels ca...
108
click to vote
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
130
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
— In this paper, we propose a simulation framework, TranSim, that reduces the rate at which packet-events are generated, in order to accelerate large-scale simulation of IP netwo...