Search Sciweavers | Sciweavers

31387 search results - page 136 / 6278

» Abstracting abstract machines

205

click to vote

LICS
2010
IEEE

193views Automated Reasoning» more LICS 2010»

Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction

15 years 4 months ago

Download fontana.med.harvard.edu

ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...

Vincent Danos, Jérôme Feret, Walter F...

claim paper

Read More »

310

click to vote

Book

411views

Concrete Abstractions

17 years 4 months ago

Download gustavus.edu

"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...

Max Hailperin, Barbara Kaiser, and Karl Knight

posted by scimaster

Read More »

109

click to vote

WWW
2007
ACM

92views Internet Technology» more WWW 2007»

Introduction and evaluation of Martlet: a scientific workflow language for abstracted parallelisation

16 years 7 months ago

Download www2007.org

Daniel James Goodman

claim paper