Sciweavers

9521 search results - page 266 / 1905

» Compiling with continuations, continued

126

AUTOMATICA
1999

50views more AUTOMATICA 1999»

Verification of logic controllers for continuous plants using timed condition/event-system models

15 years 6 months ago

Verification of logic controllers for continuous plants using timed condition/event-system models

Download www-verimag.imag.fr

Stefan Kowalewski, Sebastian Engell, Jörg Pre...

claim paper

Read More »

108

JC
2002

37views more JC 2002»

A Theory of Complexity for Continuous Time Systems

15 years 6 months ago

A Theory of Complexity for Continuous Time Systems

Download www.cs.umass.edu

Asa Ben-Hur, Hava T. Siegelmann, Shmuel Fishman

claim paper

Read More »

122

JC
1998

58views more JC 1998»

Some Lower Bounds for the Complexity of Continuation Methods

15 years 6 months ago

Some Lower Bounds for the Complexity of Continuation Methods

Download www6.cityu.edu.hk

Jean-Pierre Dedieu, Steve Smale

claim paper

Read More »

93

JSC
2002

39views more JSC 2002»

Continuously Parameterized Symmetries and Buchberger's Algorithm

15 years 6 months ago

Continuously Parameterized Symmetries and Buchberger's Algorithm

Download www.ricam.oeaw.ac.at

Ralf Hemmecke

claim paper

Read More »

107

JFP
1998

62views more JFP 1998»

Classical Logic, Continuation Semantics and Abstract Machines

15 years 6 months ago

Classical Logic, Continuation Semantics and Abstract Machines

Download eprints.sussex.ac.uk

Thomas Streicher, Bernhard Reus

claim paper

Read More »

« Prev « First page 266 / 1905 Last » Next »