Sciweavers

1363 search results - page 268 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
FOSSACS
2004
Springer
14 years 23 days ago
safeDpi: A Language for Controlling Mobile Code
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
AOSD
2009
ACM
13 years 11 months ago
The dataflow pointcut: a formal and practical framework
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, ...
CLUSTER
2007
IEEE
13 years 11 months ago
Identifying energy-efficient concurrency levels using machine learning
Abstract-- Multicore microprocessors have been largely motivated by the diminishing returns in performance and the increased power consumption of single-threaded ILP microprocessor...
Matthew Curtis-Maury, Karan Singh, Sally A. McKee,...
BMCBI
2010
133views more  BMCBI 2010»
13 years 7 months ago
Integrated prediction of one-dimensional structural features and their relationships with conformational flexibility in helical
Background: Many structural properties such as solvent accessibility, dihedral angles and helix-helix contacts can be assigned to each residue in a membrane protein. Independent s...
Shandar Ahmad, Yumlembam Hemjit Singh, Yogesh Paud...
BMCBI
2010
111views more  BMCBI 2010»
13 years 7 months ago
Protein sequences classification by means of feature extraction with substitution matrices
Background: This paper deals with the preprocessing of protein sequences for supervised classification. Motif extraction is one way to address that task. It has been largely used ...
Rabie Saidi, Mondher Maddouri, Engelbert Mephu Ngu...