5330 search results - page 354 / 1066 » The Performability Tool P'ility |
168
click to vote
AIED
2005
Springer
16 years 1 months ago
2005
Springer
The REDEEM authoring tool allows teachers to create adapted learning environments for their students from existing material. Previous evaluations have shown that under experimental...
171
click to vote
ISPA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. There exist numerous algorithms that cluster data-points from largescale genomic experiments such as sequencing, gene-expression and proteomics. Such algorithms may emplo...
192
click to vote
SAT
2005
Springer
16 years 1 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
252
click to vote
CLUSTER
2003
IEEE
16 years 26 days ago
2003
IEEE
At UCLA's Plasma Physics Group, to achieve accessible computational power for our research goals, we developed the tools to build numerically-intensive parallel computing clu...
212
click to vote
DATE
2003
IEEE
16 years 26 days ago
2003
IEEE
Dynamically reconfigurable systems based on partial and dynamically reconfigurable FPGAs may have their functionality partially modified at run-time without stopping the operation...