Sciweavers

3271 search results - page 478 / 655
» Controlled Multicast Framework
Sort
View
CAIP
2007
Springer
15 years 6 months ago
Flexibility Description of the MET Protein Stalk Based on the Use of Non-uniform B-Splines
Abstract. The MET protein controls growth, invasion, and metastasis in cancer cells and is thereby of interest to study, for example from a structural point of view. For individual...
Magnus Gedda, Stina Svensson
DBKDA
2009
IEEE
76views Database» more  DBKDA 2009»
15 years 6 months ago
Using Input Buffers for Streaming XSLT Processing
We present a buffering streaming engine for processing top-down XSLT transformations. It consists of an analyzer and a transformer. The analyzer examines given top-down XSLT and X...
Jana Dvoráková, Filip Zavoral
121
Voted
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 6 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 6 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
98
Voted
CG
2006
Springer
15 years 6 months ago
Efficient Selectivity and Backup Operators in Monte-Carlo Tree Search
Monte-Carlo evaluation consists in estimating a position by averaging the outcome of several random continuations, and can serve as an evaluation function at the leaves of a min-ma...
Rémi Coulom