78 search results - page 11 / 16 » A Uniform Approach to Underspecification and Parallelism |
136
click to vote
CF
2007
ACM
15 years 3 months ago
2007
ACM
We propose an application specific processor for computational quantum chemistry. The kernel of interest is the computation of electron repulsion integrals (ERIs), which vary in c...
LICS
2009
IEEE
15 years 5 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
VIP
2001
15 years 10 days ago
2001
Spiral Architecture is a relatively new and powerful approach to general purpose machine vision system. It contains very useful geometric and algebraic properties. Two algebraic o...
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
As integrated circuits manufacturing technology is advancing into 65nm and 45nm nodes, extensive resolution enhancement techniques (RETs) are needed to correctly manufacture a chip...
SC
2009
ACM
15 years 5 months ago
2009
ACM
One of the main advantages of using a scientific workflow management system (SWfMS) to orchestrate data flows among scientific activities is to control and register the whole work...