444 search results - page 52 / 89 » Termination by Abstraction |
HAPTICS
2008
IEEE
13 years 9 months 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...
ECEASST
2008
13 years 9 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...
ENTCS
2006
13 years 9 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
13 years 9 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
13 years 9 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...