1086 search results - page 54 / 218 » Programming by Numbers: A Programming Method for Novices |
120
click to vote
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
123
click to vote
ISPDC
2007
IEEE
15 years 9 months ago
2007
IEEE
Selection of spaceborne computing platforms requires balance among several competing factors. Traditional performance analysis techniques are illsuited for this purpose due to the...
154
click to vote
ANOR
2011
14 years 10 months ago
2011
A vital task facing government agencies and commercial organizations that report data is to represent the data in a meaningful way and simultaneously to protect the confidentialit...
229
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
122
click to vote
ICML
2005
IEEE
16 years 3 months ago
2005
IEEE
We consider support vector machines for binary classification. As opposed to most approaches we use the number of support vectors (the "L0 norm") as a regularizing term ...