2635 search results - page 175 / 527 » Computing multihomogeneous resultants using straight-line pr... |
100
click to vote
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
DAC
1991
ACM
15 years 4 months ago
1991
ACM
REX is a program that extracts parasitic resistance and capacitance values for nodes in VLSI layouts. REX also performs network serial and parallel simplifications. Two types of n...
168
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
100
click to vote
WFLP
2000
Springer
15 years 4 months ago
2000
Springer
Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used stract model of some programming languages. While normalizing strategies are...
104
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...