1451 search results - page 134 / 291 » Case Studies in Model Manipulation for Scientific Computing |
171
click to vote
NETWORKS
2011
14 years 11 months ago
2011
In this article we study capacitated network design problems. We unify and extend polyhedral results for directed, bidirected and undirected link capacity models. Based on valid i...
128
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
It is generally assumed that touch input cannot be accurate because of the fat finger problem, i.e., the softness of the fingertip combined with the occlusion of the target by the...
119
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
123
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a new LogP-based model, called LoOgGP, which allows an accurate characterization of MPI applications based on microbenchmark measurements. This new model is an...
157
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...