1451 search results - page 100 / 291 » Case Studies in Model Manipulation for Scientific Computing |
129
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
162
Voted
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
We propose an economic model based on user utility to study the adoption of new network architectures such as IPv6. We use mathematical analysis and simulation studies to understa...
221
click to vote
VLDB
2005
ACM
16 years 4 months ago
2005
ACM
The traditional model of bench (wet) chemistry in many life sciences domain is today actively complimented by computer-based discoveries utilizing the growing number of online data...
141
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Conversing on cell phones while driving an automobile is a common practice. We examine the interference of the cognitive load of conversational dialog with driving tasks, with the...
149
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...