444 search results - page 52 / 89 » Termination by Abstraction |
105
click to vote
HAPTICS
2008
IEEE
15 years 1 days ago
2008
IEEE
Abstract. Physically dissipative damping can increase the range of passive stiffness that can be rendered by a haptic device. Unlike simulated damping it does not introduce noise i...
105
click to vote
ECEASST
2008
14 years 12 months ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
120
click to vote
ENTCS
2006
14 years 12 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
JCC
2006
14 years 12 months ago
2006
![A theoretical study of thermal [1, 3]-sigmatropic rearrangements of 3-trimethylsilyl-1-pyrazoline: Concerted vs. stepwise mechan](https://www.sciweavers.org/files/imagecache/thumbnail/imagecache/a_theoretical_study_of_thermal_1_3_sigmatropic_rearrangements_of_3_trimethylsilyl_1_pyrazoline_concerted_vs_stepwise_mechanisms_JCC_2006.jpg "A theoretical study of thermal [1, 3]-sigmatropic rearrangements of 3-trimethylsilyl-1-pyrazoline: Concerted vs. stepwise mechan")
Abstract: Possible reaction mechanisms of 1,3-silyl and 1,3-hydrogen thermal rearrangements of trimethylsilyl-1pyrazoline and its model systems were theoretically explored using B3...
PPL
2008
14 years 12 months ago
2008
Algorithmic skeletons intend to simplify parallel programming by providing a higher abstraction compared to the usual message passing. Task and data parallel skeletons can be dist...