Sciweavers

769 search results - page 40 / 154
» A Machine Model for Aspect-Oriented Programming
Sort
View
118
Voted
ICPPW
2003
IEEE
15 years 8 months ago
Load Balancing on PC Clusters with the Super-Programming Model
Recent work in high-performance computing has shifted attention to PC clusters.. For PC-clusters, member nodes are independent computers connected by generalpurpose networks. The ...
Dejiang Jin, Sotirios G. Ziavras
KBSE
2000
IEEE
15 years 8 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
ICALP
1992
Springer
15 years 7 months ago
Lower Bounds on the Complexity of Simplex Range Reporting on a Pointer Machine
Abstract Bernard Chazelle Department of Computer Science Princeton University Burton Rosenberg Department of Mathematics and Computer Science Dartmouth College We give a lower bou...
Bernard Chazelle, Burton Rosenberg
143
Voted
TNN
2010
159views Management» more  TNN 2010»
14 years 10 months ago
Multiple incremental decremental learning of support vector machines
We propose a multiple incremental decremental algorithm of Support Vector Machine (SVM). Conventional single incremental decremental SVM can update the trained model efficiently w...
Masayuki Karasuyama, Ichiro Takeuchi
MEMBRANE
2007
Springer
15 years 9 months ago
Conformon-P Systems with Negative Values
Some initial results on the study of conformon-P systems with negative values are reported. One model of these conformon-P systems is proved to be computationally universal while a...
Pierluigi Frisco