2488 search results - page 466 / 498 » An improvement in formal verification |
190
Voted
FEDCSIS
2011
14 years 5 months 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...
135
click to vote
CHI
2002
ACM
16 years 6 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...
205
click to vote
MOBIHOC
2005
ACM
16 years 5 months 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...
176
click to vote
CODES
2006
IEEE
16 years 5 days 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...
179
click to vote
INFOCOM
2006
IEEE
16 years 3 days 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...