Sciweavers

1312 search results - page 34 / 263
» Quantitative Comparison of Languages
Sort
View
JFP
2010
109views more  JFP 2010»
13 years 8 months ago
Generic programming with C++ concepts and Haskell type classes - a comparison
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haske...
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zal...
HASE
2007
IEEE
14 years 4 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
TOG
2008
129views more  TOG 2008»
13 years 9 months ago
Discrete elastic rods
We present a discrete treatment of adapted framed curves, parallel transport, and holonomy, thus establishing the language for a discrete geometric model of thin flexible rods wit...
Miklós Bergou, Max Wardetzky, Stephen Robin...
TOOLS
2008
IEEE
14 years 4 months ago
A Comparison of State-Based Modelling Tools for Model Validation
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
Emine G. Aydal, Mark Utting, Jim Woodcock
BMCBI
2010
172views more  BMCBI 2010»
13 years 10 months ago
Comparison of evolutionary algorithms in gene regulatory network model inference
Background: The evolution of high throughput technologies that measure gene expression levels has created a data base for inferring GRNs (a process also known as reverse engineeri...
Alina Sîrbu, Heather J. Ruskin, Martin Crane