Search Sciweavers | Sciweavers

1855 search results - page 22 / 371

» Composing model programs for analysis

click to vote

EDO
2005
Springer

108views Distributed And Parallel Com...» more EDO 2005»

A middleware-independent model and language for component distribution

14 years 3 months ago

Download www.inf.pucrs.br

A distribution model for the new generation of component languages, which allows to plug required into provided interfaces, is presented together with the distributed component la...

Hans Albrecht Schmid, Marco Pfeifer, Thorsten Schn...

claim paper

Read More »

click to vote

ICMCS
2007
IEEE

97views Multimedia» more ICMCS 2007»

Semantic Segmentation of Radio Programs using Social Network Analysis and Duration Distribution Modeling

14 years 4 months ago

Download www-gth.die.upm.es

Alessandro Vinciarelli, F. Fernandez, Sarah Favre

claim paper

Read More »

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

14 years 2 months ago

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

click to vote

IOR
2007

88views more IOR 2007»

Sensitivity Analysis of a Dynamic Fleet Management Model Using Approximate Dynamic Programming

13 years 9 months ago

Download www.castlelab.princeton.edu

Huseyin Topaloglu, Warren B. Powell

claim paper

Read More »

click to vote

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers