1054 search results - page 113 / 211 » From a Verified Kernel towards Verified Systems |
165
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
184
click to vote
JAR
2010
15 years 4 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
187
click to vote
IWEC
2010
15 years 4 months ago
2010
This study focuses on motion in user interfaces as a design element which can contribute to an improved user experience of digital media entertainment. The design for user experien...
213
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—This paper deals with estimation of the concentration of target molecules in a fluid when it flows past multiple biosensors. The fluid flow is modelled as an advecti...
292
click to vote
HCI
2011
14 years 9 months ago
2011
Almost 20% of big earthquakes in the world occur in Japan. It becomes impossible for private companies and governments to carry out their business if they suffer from severe damage...