60 search results - page 6 / 12 » On almost precipitous ideals |
85
Voted
SI3D
1995
ACM
15 years 1 months ago
1995
ACM
This paper describes a software framework to aid in designing and implementing convenient manipulation behaviors for objects in a 3D virtual environment. A combination of almost r...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
We consider the round robin (RR) scheduling policy where the server processes each job in its buffer for at most a fixed quantum, q, in a round-robin fashion. The processor sharin...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
The paper describes several efficient parallel implementations of the one-sided hyperbolic Jacobi-type algorithm for computing eigenvalues and eigenvectors of Hermitian matrices. ...
73
Voted
ACS
2007
14 years 9 months ago
2007
This article considers coherent frame homomorphisms h : L −→ M between coherent frames, which induce an isomorphism between the boolen frames of polars, with M projectable, and...
ICCD
2004
IEEE
15 years 6 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...