1557 search results - page 227 / 312 » Programming up to Congruence |
110
Voted
MSE
2000
IEEE
15 years 3 months ago
2000
IEEE
Electronic photography is gaining parts of the photography market and tends to replace gradually all argentic photography. The combination of digital camera and computer technolog...
CHI
2000
ACM
15 years 3 months ago
2000
ACM
We introduce an educational toy, called curlybot, as the basis for a new class of toys aimed at children in their early stages of development – ages four and up. curlybot is an ...
SC
2000
ACM
15 years 3 months ago
2000
ACM
This paper describes performance tuning experiences with a three-dimensional unstructured grid Euler flow code from NASA, which we have reimplemented in the PETSc framework and p...
CL
2000
Springer
15 years 3 months ago
2000
Springer
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
115
click to vote
ECBS
2010
IEEE
15 years 3 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...