4457 search results - page 487 / 892 » Tests of Machine Intelligence |
149
click to vote
CLUSTER
2006
IEEE
16 years 27 days ago
2006
IEEE
The RandomAccess benchmark as defined by the High Performance Computing Challenge (HPCC) tests the speed at which a machine can update the elements of a table spread across globa...
167
click to vote
SEFM
2006
IEEE
16 years 25 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
178
click to vote
ML
2006
ACM
16 years 24 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
171
click to vote
ACSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
Java 2 Micro-Edition Connected Limited Device Configuration (J2ME CLDC) is the platform of choice when it comes to running mobile applications on resourceconstrained devices (cel...
174
click to vote
CLUSTER
2005
IEEE
16 years 14 days ago
2005
IEEE
The Portals data movement interface was developed at Sandia National Laboratories in collaboration with the University of New Mexico over the last ten years. Portals is intended t...