7890 search results - page 436 / 1578 » The MathSAT 3 System |
203
click to vote
SIGGRAPH
1997
ACM
15 years 11 months ago
1997
ACM
Force feedback coupled with visual display allows people to interact intuitively with complex virtual environments. For this synergy of haptics and graphics to flourish, however, ...
192
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
172
click to vote
FAST
2008
15 years 9 months ago
2008
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
444
click to vote
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
173
click to vote
DSS
2008
15 years 6 months ago
2008
Most recommender systems present recommended products in lists to the user. By doing so, much information is lost about the mutual similarity between recommended products. We prop...