Sciweavers

17298 search results - page 135 / 3460
» Abstract computing machines
Sort
View
121
Voted
TNN
2008
76views more  TNN 2008»
15 years 3 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. ...
128
Voted
SAC
2008
ACM
15 years 2 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
15 years 9 months 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
126
Voted
CLUSTER
2010
IEEE
15 years 24 days 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 3 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