Search Sciweavers | Sciweavers

31387 search results - page 290 / 6278

» Abstracting abstract machines

click to vote

DAGSTUHL
2007

102views Software Engineering» more DAGSTUHL 2007»

07471 Abstracts Collection - Equilibrium Computation

15 years 8 months ago

Download drops.dagstuhl.de

P. Jean-Jacques Herings, Marcin Jurdzinski, Peter ...

claim paper

Read More »

Voted

DAGSTUHL
2007

75views Software Engineering» more DAGSTUHL 2007»

06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis

15 years 8 months ago

Download drops.dagstuhl.de

Jean-Raymond Abrial, Uwe Glässer

claim paper

Read More »

114

click to vote

DAGSTUHL
2008

98views Software Engineering» more DAGSTUHL 2008»

08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures

15 years 8 months ago

Download drops.dagstuhl.de

Wolfram Luther, Annie A. M. Cuyt, Walter Kräm...

claim paper

Read More »

125

click to vote

DAGSTUHL
2008

96views Software Engineering» more DAGSTUHL 2008»

08071 Abstracts Collection -- Scheduling

15 years 8 months ago

Download drops.dagstuhl.de

Jane W.-S. Liu, Rolf H. Möhring, Kirk Pruhs

claim paper

Read More »

107

click to vote

DAGSTUHL
2008

83views Software Engineering» more DAGSTUHL 2008»

Perspectives of Neuro--Symbolic Integration -- Extended Abstract --

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers