Search Sciweavers | Sciweavers

9698 search results - page 68 / 1940

» models 2010

107

click to vote

ECMDAFA
2010
Springer

116views Hardware» more ECMDAFA 2010»

Model-Driven Engineering of Machine Executable Code

15 years 10 months ago

Download www.monperrus.net

Michael Eichberg, Martin Monperrus, Sven Kloppenbu...

claim paper

Read More »

158

click to vote

EDCC
2010
Springer

230views Applied Computing» more EDCC 2010»

Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency

15 years 10 months ago

Download edcc.dependability.org

Sara Tucci Piergiovanni, Roberto Baldoni

claim paper

Read More »

124

click to vote

PAKDD
2010
ACM

160views Data Mining» more PAKDD 2010»

A Set Correlation Model for Partitional Clustering

15 years 10 months ago

Download research.nii.ac.jp

Xuan Vinh Nguyen, Michael E. Houle

claim paper

Read More »

128

click to vote

PLDI
2010
ACM

222views Programming Languages» more PLDI 2010»

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

15 years 9 months ago

Download research.microsoft.com

Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...

claim paper

Read More »

118

click to vote

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers