2362 search results - page 236 / 473 » Programming in Standard ML |
127
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
154
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
127
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— In the area of surgical robotics no standard means of performance evaluation has been established. Thousands of surgeons have gone through the SAGES FLS Program, and the psycho...
109
click to vote
CGO
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a new instruction, branch-on-random, that is like a standard conditional branch, except rather than specifying the condition on which the branch should be taken, it spe...
169
Voted
APCSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
MPI (the Message Passing Interface) continues to be the dominant programming model for parallel machines of all sizes, from small Linux clusters to the largest parallel supercomput...