178 search results - page 26 / 36 » Balance in Systems of Finite Sets with Applications |
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
100
click to vote
ISCA
2006
IEEE
15 years 3 months ago
2006
IEEE
A Co-Designed Virtual Machine allows designers to implement a processor via a combination of hardware and software. Dynamic binary translation converts code written for a conventi...
88
Voted
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
We present new parallel algorithms for 3D reconstruction of objects from 2D projections and their application for the determination of the structure of macromolecules from electro...
VLDB
1997
ACM
15 years 1 months ago
1997
ACM
A new access method, called M-tree, is proposed to organize and search large data sets from a generic "metric space", i.e. where object proximity is only defined by a di...
APVIS
2004
14 years 11 months ago
2004
Tiling projectors provides an effective and easy option to increase screen space. Differences in projectors' components however contribute to non-uniformities in illumination...