42 search results - page 3 / 9 » Formalizing Design Spaces: Implicit Invocation Mechanisms |
DAC
1997
ACM
13 years 11 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
VLSID
2003
IEEE
14 years 7 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
CSCW
2012
ACM
12 years 3 months ago
2012
ACM
A challenge for many online production communities is to direct their members to accomplish tasks that are important to the group, even when these tasks may not match individual m...
SOFTWARE
1998
13 years 7 months ago
1998
BMS organizes information in abstract name spaces and lets users refer to thedatathroughtheirvalues,whileaspatialDBMSorganizesinformationinconcrete 2D geometric spaces and lets use...
INFORMS
1998
13 years 7 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...