Sciweavers

11653 search results - page 187 / 2331
» The Development of the C Language
Sort
View
154
Voted
LCTRTS
2010
Springer
15 years 1 months ago
Integrating safety analysis into the model-based development toolchain of automotive embedded systems
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
POPL
2004
ACM
16 years 4 months ago
Local reasoning about a copying garbage collector
Lars Birkedal, Noah Torp-Smith, John C. Reynolds
118
Voted
ICFP
2008
ACM
16 years 3 months ago
Experience report: erlang in acoustic ray tracing
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...
116
Voted
CD
2005
Springer
15 years 9 months ago
DAnCE: A QoS-Enabled Component Deployment and Configuration Engine
Gan Deng, Jaiganesh Balasubramanian, William Otte,...
155
Voted
EXTREME
2004
ACM
15 years 9 months ago
Avoiding Syntactic Violations in Forms-XML
Y. S. Kuo, N. C. Shih, Jaspher Wang, Lendle Tseng