Sciweavers

1678 search results - page 16 / 336

» An ASM Specification of C

16

ICSOFT
2007

118views Software Engineering» more ICSOFT 2007»

A Software Tool for Requirements Specification - On Using the STORM Environment to Create SRS Documents

13 years 9 months ago

A Software Tool for Requirements Specification - On Using the STORM Environment to Create SRS Documents

Download www.cse.unr.edu

Sergiu Dascalu, Eric Fritzinger, Kendra Cooper, Na...

claim paper

Read More »

15

TOMS
2008

62views more TOMS 2008»

Benchmarking Domain-Specific Compiler Optimizations for Variational Forms

13 years 7 months ago

Benchmarking Domain-Specific Compiler Optimizations for Variational Forms

Download home.simula.no

Robert C. Kirby, Anders Logg

claim paper

Read More »

18

OOPSLA
2010
Springer

141views Security Privacy» more OOPSLA 2010»

The spoofax language workbench: rules for declarative specification of languages and IDEs

13 years 5 months ago

The spoofax language workbench: rules for declarative specification of languages and IDEs

Download swerl.tudelft.nl

Lennart C. L. Kats, Eelco Visser

claim paper

Read More »

13

TELSYS
2010

85views more TELSYS 2010»

Fast adaptive routing supporting mobile senders in Source Specific Multicast

13 years 5 months ago

Fast adaptive routing supporting mobile senders in Source Specific Multicast

Download www.realmv6.org

Thomas C. Schmidt, Matthias Wählisch, Maik Wo...

claim paper

Read More »

25

ERSA
2007

174views Hardware» more ERSA 2007»

High-Level Specification of Runtime Reconfigurable Designs

13 years 9 months ago

High-Level Specification of Runtime Reconfigurable Designs

Download www.ccm.ece.vt.edu

”C to Gates” compilers for FPGAs have been a topic of investigation for nearly two decades. Some of these endeavors have reached a point of viability. Impulse C, for example, ...

Stephen D. Craven, Peter M. Athanas

claim paper

Read More »

« Prev « First page 16 / 336 Last » Next »