Sciweavers

17298 search results - page 135 / 3460
» Abstract computing machines
Sort
View
147
Voted
TNN
2008
76views more  TNN 2008»
15 years 6 months ago
Maxi-Min Margin Machine: Learning Large Margin Classifiers Locally and Globally
Abstract--In this paper, we propose a novel large margin classifier, called the maxi
Kaizhu Huang, Haiqin Yang, Irwin King, Michael R. ...
165
Voted
SAC
2008
ACM
15 years 5 months ago
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
s: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo Microsoft Research, Redmond, WA, USA Manuel F
Francesco Logozzo, Manuel Fähndrich
ML
2006
ACM
16 years 5 days ago
ML grid programming with ConCert
Grid computing has become increasingly popular with the growth of the Internet, especially in large-scale scientific computation. Computational Grids are characterized by their s...
Tom Murphy VII
158
Voted
CLUSTER
2010
IEEE
15 years 3 months ago
Harnessing parallelism in multicore clusters with the All-Pairs, Wavefront, and Makeflow abstractions
All-Pairs, Wavefront, and Makeflow Abstractions Li Yu
Li Yu, Christopher Moretti, Andrew Thrasher, Scott...
CORR
2007
Springer
99views Education» more  CORR 2007»
15 years 6 months ago
Machine structure oriented control code logic
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
Jan A. Bergstra, C. A. Middelburg