Search Sciweavers | Sciweavers

11653 search results - page 187 / 2331

» The Development of the C Language

204

click to vote

LCTRTS
2010
Springer

130views System Software» more LCTRTS 2010»

Integrating safety analysis into the model-based development toolchain of automotive embedded systems

15 years 4 months ago

Download www2.ee.kth.se

The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...

Matthias Biehl, De-Jiu Chen, Martin Törngren

claim paper

Read More »

221

click to vote

POPL
2004
ACM

86views Programming Languages» more POPL 2004»

Local reasoning about a copying garbage collector

16 years 6 months ago

Download www.itu.dk

Lars Birkedal, Noah Torp-Smith, John C. Reynolds

claim paper

Read More »

160

click to vote

ICFP
2008
ACM

92views Programming Languages» more ICFP 2008»

Experience report: erlang in acoustic ray tracing

16 years 6 months ago

Download homepage.cs.uri.edu

We investigated the relative merits of C++ and Erlang in the implementation of a parallel acoustic ray tracing algorithm for the U.S. Navy. We found a much smaller learning curve ...

Christian Convey, Andrew Fredricks, Christopher Ga...

claim paper

Read More »

145

click to vote

CD
2005
Springer

151views Programming Languages» more CD 2005»

DAnCE: A QoS-Enabled Component Deployment and Configuration Engine

16 years 3 days ago

Download www.inf.puc-rio.br

Gan Deng, Jaiganesh Balasubramanian, William Otte,...

claim paper