15401 search results - page 2848 / 3081 » Software in Automotive Systems |
160
click to vote
CHI
1992
ACM
15 years 11 months ago
1992
ACM
We studied CAD system users to find out how they use the sophisticated customization and extension facilities offered by many CAD products. We found that users of varying levels o...
188
click to vote
MM
1994
ACM
15 years 11 months ago
1994
ACM
Paper video storyboards are still in use by even very experienced video producers with access to the most advanced video editing software. An analysis of the characteristics of pa...
180
click to vote
ICS
1989
Tsinghua U.
15 years 11 months ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...
224
click to vote
BIBE
2007
IEEE
15 years 11 months ago
2007
IEEE
Multi-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein tha...
224
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...