Sciweavers

4679 search results - page 477 / 936
» Modeling When Connections Are the Problem
Sort
View
JFP
2006
78views more  JFP 2006»
15 years 6 months ago
Sound and complete models of contracts
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...
Matthias Blume, David A. McAllester
CORR
2010
Springer
120views Education» more  CORR 2010»
15 years 6 months ago
Modeling of 2D and 3D Assemblies Taking Into Account Form Errors of Plane Surfaces
The tolerancing process links the virtual and the real worlds. From the former, tolerances define a variational geometrical language (geometric parameters). From the latter, there...
Serge Samper, Pierre-Antoine Adragna, Hugues Favre...
BMCBI
2010
97views more  BMCBI 2010»
15 years 1 months ago
A semi-parametric Bayesian model for unsupervised differential co-expression analysis
Background: Differential co-expression analysis is an emerging strategy for characterizing disease related dysregulation of gene expression regulatory networks. Given pre-defined ...
Johannes M. Freudenberg, Siva Sivaganesan, Michael...
TCOM
2011
130views more  TCOM 2011»
15 years 1 months ago
Indirect Reciprocity Game Modelling for Cooperation Stimulation in Cognitive Networks
—In cognitive networks, since nodes generally belong to different authorities and pursue different goals, they will not cooperate with others unless cooperation can improve their...
Yan Chen, K. J. Ray Liu
ASAP
2005
IEEE
121views Hardware» more  ASAP 2005»
16 years 14 days ago
Using TLM for Exploring Bus-based SoC Communication Architectures
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating design...
Sudeep Pasricha, Mohamed Ben-Romdhane