16513 search results - page 2857 / 3303 » Numerical Analysis Methods |
162
Voted
PPDP
2009
Springer
16 years 28 days ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
149
click to vote
SAT
2009
Springer
16 years 28 days ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
155
Voted
ASPDAC
2009
ACM
16 years 27 days ago
2009
ACM
– With the popularity of Multiple Power Domain (MPD) design, the multi-domain power network noise analysis and minimization is becoming important. This paper describes an efficie...
163
Voted
COMPGEOM
2009
ACM
16 years 27 days ago
2009
ACM
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
160
click to vote
INFOSCALE
2009
ACM
16 years 27 days ago
2009
ACM
Address Fragmentation plays a key role in the exponential growth of DFZ routing table, known as the scalability problem of current Internet. In this paper, we measure the severity ...