1487 search results - page 193 / 298 » On Validating Engineering Design Decision Support Tools |
154
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
229
click to vote
VRML
2003
ACM
15 years 10 months ago
2003
ACM
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...
166
click to vote
SIGMOD
2008
ACM
15 years 5 months ago
2008
ACM
The UQBE is a mashup tool for non-programmers that supports query-by-example (QBE) over a schema made up by the user without knowing the schema of the original sources. Based on a...
147
click to vote
FPL
2001
Springer
15 years 10 months ago
2001
Springer
Designers of safety-critical VLSI systems are asking for effective tools for evaluating and validating their designs. Fault Injection is commonly adopted for this task, and its eff...
159
click to vote
EDBT
2009
ACM
16 years 8 days ago
2009
ACM
Business Intelligence (BI) refers to technologies, tools, and practices for collecting, integrating, analyzing, and presenting large volumes of information to enable better decisi...