27827 search results - page 30 / 5566 » Generating |
POPL
2001
ACM
14 years 9 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
ICCAD
2001
IEEE
14 years 5 months ago
2001
IEEE
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
Synthetic Floating-Point (SFP), a synthetic benchmark generator program for floating-point circuits is presented. SFP consists of two independent modules for characterisation and...
ICIDS
2009
Springer
14 years 3 months ago
2009
Springer
We explore the role that story generation feedback may play within the creative process of interactive story authoring. While such feedback is often used as ‘debugging’ informa...
GLVLSI
2008
IEEE
14 years 3 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...