1147 search results - page 144 / 230 » Termination in language-based systems |
145
click to vote
INFSOF
2006
15 years 20 days ago
2006
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
112
Voted
JAL
2006
15 years 19 days ago
2006
In this paper we consider the unsplittable flow problem (UFP): given a directed or undirected network G = (V, E) with edge capacities and a set of terminal pairs (or requests) wit...
JCC
2006
15 years 19 days 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...
86
Voted
ENTCS
2007
15 years 19 days ago
2007
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
93
Voted
PPL
2008
15 years 19 days 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...