1974 search results - page 47 / 395 » Conditional Purchase Orders |
MJ
2006
13 years 9 months ago
2006
Surface relief formed by nanoimprinting and etching into a thermally grown SiO2 layer on Si was used to position the initial nuclei formed by chemically vapor deposited Si and Ge....
MCS
2002
Springer
13 years 9 months ago
2002
Springer
So far few theoretical works investigated the conditions under which specific fusion rules can work well, and a unifying framework for comparing rules of different complexity is cl...
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
ERSHOV
2009
Springer
14 years 4 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Using a linear decomposition of continuous phase modulated (CPM) signals with tilted-phase, sufficient conditions are derived under which M-ary partial-response CPM spacetime ...