Filters








439 Hits in 1.1 sec

Interprocedural analyses: a comparison

Helmut Seidl, Christian Fecht
2000 The Journal of Logic Programming  
[27] and Fecht [21] .  ...  Fecht / J. Logic Programming 43 (2000) 123±156  ... 
doi:10.1016/s0743-1066(99)00058-8 fatcat:dr53bgkxmfa6zdzmatu7hkyaoq

A faster solver for general systems of equations

Christian Fecht, Helmut Seidl
1999 Science of Computer Programming  
We present a new algorithm which computes a partial approximate solution for a system of equations. It is local in that it considers just as many variables as necessary in order to compute the values of those variables we are interested in, it is generic in that it makes no assumptions on the application domain, and it is general in that the algorithm does not depend on any speciÿc properties of right-hand sides of equations. For instance, monotonicity is not required. However, in case the
more » ... -hand sides satisfy some weak monotonicity property, our algorithm returns the (uniquely deÿned) least solution. The algorithm meets the best theoretical worstcase complexity known for similar algorithms. For the application of analyzing logic languages, it also gives the best practical results on most of our real-world benchmark programs. Abstract interpretation; Program analysis * Corresponding author. 0167-6423/99/$ -see front matter c 1999 Elsevier Science B.V. All rights reserved. PII: S 0 1 6 7 -6 4 2 3 ( 9 9 ) 0 0 0 0 9 -X
doi:10.1016/s0167-6423(99)00009-x fatcat:xlb4ptlt4nehjgqp6qgn6ncdgy

An even faster solver for general systems of equations [chapter]

Christian Fecht, Helmut Seidl
1996 Lecture Notes in Computer Science  
We present a new algorithm which computes a partial approximate solution for a system of equations. It is local in that it considers as few variables as necessary in order to compute the values of those variables we are interested in, it is generic in that it makes no assumptions on the application domain, and it is general in that the algorithm does not depend on any speci c properties of right-hand sides of equations. For instance, monotonicity is not required. However, in case the right-hand
more » ... sides satisfy some weak monotonicity property, our algorithm returns the (uniquely de ned) least solution. The algorithm meets the best known theoretical worstcase complexity of similar algorithms. For the application of analyzing logic languages, it also gives the best practical results on most of our real world benchmark programs.
doi:10.1007/3-540-61739-6_42 fatcat:prjdiofkf5ehdpuaagkdkiwcha

Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems [chapter]

Christian Fecht, Helmut Seidl
1998 Lecture Notes in Computer Science  
Le Charlier and Van Hentenryck in 5] and Fecht and Seidl in 12] presented their solvers in a setting which was (almost) independent of the implementation of right-hand sides.  ... 
doi:10.1007/bfb0053565 fatcat:3erobddvzrcvpgml3yzxcaiexm

Use of Thermophysical Properties to Select and Control Convection During Rapid Solidification of Steel Alloys Using Electromagnetic Levitation on the Space Station

Douglas M. Matson, Xiao Xiao, Justin E. Rodriguez, Jonghyun Lee, Robert W. Hyers, Olga Shuleshova, Ivan Kaban, Stephan Schneider, Christian Karrasch, Stefan Burggraff, Rainer Wunderlich, Hans-Jörg Fecht
2017 JOM: The Member Journal of TMS  
Matson, Xiao, Rodriguez, Lee, Hyers, Shuleshova, Kaban, Schneider, Karrasch, Burggraff, Wunderlich, and Fecht  ... 
doi:10.1007/s11837-017-2396-5 fatcat:a75st5xpizcexn6z7hfyl4k4ke

Page 245 of British and Foreign Evangelical Review Vol. 17, Issue 64 [page]

1868 British and Foreign Evangelical Review  
Cassander, Fecht, and Hosius. 245 clearness, and solidity were at once imparted to them.  ...  Fecht replied that he took the greater pleasure in the perusal of patristic writings.  ... 

Page 203 of Historical Magazine, and Notes and Queries Concerning the Antiquities, History, and Biography of America Vol. 9, Issue 7 [page]

1865 Historical Magazine, and Notes and Queries Concerning the Antiquities, History, and Biography of America  
But I would fain hope that I am a Christian also.  ...  Were you not frechtened to fecht so many Indians? T. Indeed were we: But we did no’ let them fecht Us.  ... 

Page 262 of Notes and Queries Vol. 4, Issue 92 [page]

1875 Notes and Queries  
Neu altmodische ritterliche fecht- und schirmkunst. Niirnberg, 1715. 1717. Chevigny (— de).  ...  Neu altmodische ritterliche fecht- und schirm- kunst von Alexander Doyle. Niirnberg, 1729. 8vo.  ... 

Page 103 of Speculum Vol. 19, Issue 1 [page]

1944 Speculum  
Rohorthar mo richt, rosderthar mo recht, romorthar mo lecht, nimthi bas for fecht, rofirthar mo thecht! Nimragba nathir dichonn na dorb dirglass na déel dichuinn!  ...  Indeed, a druidical prayer, preserved in Old-Irish in an Irish prosody text doubtless by virtue of its Christian tag, establishes adequately, even without the support provided by Amorgen’s Hymn, the practice  ... 

Page 654 of London Society: A Monthly Magazine of Light and Amusing Literature for the Hours of Relaxation Vol. 45, Issue 270 [page]

1884 London Society: A Monthly Magazine of Light and Amusing Literature for the Hours of Relaxation  
It was aye a fecht, an’ whiles things looked black enough ; but I never gave in, an’ I’ve got them a’ noo—money, an’ knowledge, an’ friends as weel ; an’ it’s a’ because | would never be beat.  ...  He was not displeased with the result of the interview between him and Christian.  ... 

Page 575 of Longman's Magazine Vol. 46, Issue 276 [page]

1905 Longman's Magazine  
., in a rather colloquial address which I read in the Christian World Pulpit, appears to regret that Knox was not a total abstainer.  ...  ‘ Karlie Bothwell’s unco’ crouse, Fechts wi’ Arran and his men’ : ‘ Ower acquent wi’ the Queen’s hoose, Wha but Bothwell, but and ben ?’  ... 

Page 534 of Every Saturday: A Journal of Choice Reading Vol. 3, Issue 69 [page]

1867 Every Saturday: A Journal of Choice Reading  
il twang, and thrilled with earnestness as he appealed to his hear¬ ers to mark the signs of the times, and be found “ fighting on the g(^ side, with the weapons of the Christian warfare.”  ...  ” asked I. “ Fighting, to be sure; we shall hear the schldgers in a minute, if we listen. “ But, if you please, Harry, where is the ‘ Fecht- boden,’ and what are the ‘ schlagers ’ ?  ... 

Einleitung. 'Ritualisierte Zweikämpfe' und ihre Akteure

Christian Jaser, Uwe Israel
2014 Das Mittelalter: Perspektiven mediävistischer Forschung  
Christian Jaser:  ...  Christian Jaser (Hgg.), Agon und Distinktion. Soziale Räume des Zweikampfs zwischen Mittelalter und Neuzeit (in Vorb.). 5 Monika Mommertz, Wissen vom Zweikampf.  ...  Christian JASER (Berlin) entwickelt eine neue Perspektive auf die Figur des Kämpen, der im Rahmen des hochmittelalterlichen Gerichtskampfs als entlohnter Kampfstellvertreter auftritt.  ... 
doi:10.1515/mial-2014-0015 fatcat:cg3atmsxhrb6vbauwttylvheam

Page 676 of American Journal of Theology Vol. 16, Issue 4 [page]

1912 American Journal of Theology  
Holmes, The Origin and Development of the Christian Church in Gaul during the First Six Centuries of the Christian Era Holtzmann, Heinrich, Praktische Erklirung des ersten Thessalonicherbriefes Lehrbuch  ...  676 THE AMERICAN JOURNAL OF THEOLOGY Harnack, Entstehung und Entwicklung der Kirchenverfassung und des Kirchen- . fechts in den zwei ersten Jahrhunderten .  ... 

A Fake Coptic John and Its Implications for the 'Gospel of Jesus's Wife

Christian Askeland
2014 Tyndale Bulletin  
Likewise, Alin Suciu, 'Christian Askeland Finds the "Smoking Gun,"' alinsuciu.com, April 24, 2014, http://alinsuciu.com/2014/04/24/christian-askeland-finds-the-smoking-gun/. 25 Ira Rabin (Max-Planck Institute  ...  Fecht is said to have suggested a probable date from the 2nd to 5th cents. C.E.  ... 
doi:10.53751/001c.29364 fatcat:qw2imp7gxnf3jbicoghywccita
« Previous Showing results 1 — 15 out of 439 results