10038 search results - page 245 / 2008 » Model Checking for Managers |
118
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—Module paths are often used to specify the delays of cells in a Verilog cell library description, which define the propagation delay for an event from an input to an output. Sp...
191
click to vote
WOODPECKER
2001
15 years 6 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
175
click to vote
ENTCS
2008
15 years 5 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
246
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
Updates over virtual XML views that wrap relational data are not well supported by XML data management systems. This paper studies the problem of whether a correct relational upda...
145
click to vote
CGO
2009
IEEE
16 years 9 days ago
2009
IEEE
—Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the ...