1451 search results - page 212 / 291 » Case Studies in Model Manipulation for Scientific Computing |
162
click to vote
ICADL
2007
Springer
16 years 13 days ago
2007
Springer
In today’s knowledge-intensive engineering environment, information management is an important and essential activity. However, existing researches of Engineering Information Man...
183
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- We study the problem of total throughput maximization in arbitrary multi-hop wireless networks, with constraints on the total power usage (denoted by PETM), when nodes h...
169
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—We analyze a comprehensive model for multi-class job scheduling accounting for user abandonment, with the objective of minimizing the total discounted or time-average sum of lin...
170
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
155
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The images of an outdoor scene collected over time are valuable in studying the scene appearance variation which can lead to novel applications and help enhance existing methods t...