Showing 1 - 10 results of 10 for search '"model checking"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Reset Filters

Content Provider: Unknown

Reset Filters

Show filters (1)

Content Provider: Unknown

Search Results - Open Polar - "model checking"

Search Results

Showing 1 - 10 results of 10 for search '"model checking"', query time: 0.16s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

Model Checking Unbounded Concurrent Lists

by Divjyot Sethi, Muralidhar Talupur, Sharad Malik
“...Abstract. We present a method for model checking list-based concurrent data structures. These data...”

Get access
Get access

Text
Select result number 2
2

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O'Hallaron
Published 1999

Get access
Get access

Text
Select result number 3
3

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O’Hallaron
Published 1999

Get access
Get access

Text
Select result number 4
4

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O'hallaron
Published 1999
Subjects: “...symbolic model checking...”

Get access
Get access

Text
Select result number 5
5

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O’Hallaron
Published 1999
Subjects: “...symbolic model checking...”

Get access
Get access

Text
Select result number 6
6

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O’hallaron
Published 1999

Get access
Get access

Text
Select result number 7
7

Bayesian estimation of fish school cluster composition applied to a Bering Sea acoustic survey

by T. R. Hammond, G. L. Swartzman, T. S. Richardson
Published 2001
“... such information are suggested and pitfalls of the process are indicated. Techniques for model checking using...”

Get access
Get access

Text
Select result number 8
8

Author manuscript, published in "ICALP 2008, Reykjavik: Islande (2008)" When does partial commutative closure preserve regularity?

by Antonio Cano, Gómez Giovanna, Guaiana Jean-éric Pin
Published 2008
“... studied [1, 11, 12, 13], notably in connection with regular model checking [2, 3, 7] or in the study...”

Get access
Get access

Text
Select result number 9
9

Dynamics Model about Bowhead Whale, Balaena mysticetus, Replacement Yield

by Adrian E. Raftery, Geof H. Givens, Judith E. Zeh
“... techniques. This leads to simple model checking...”

Get access
Get access

Text
Select result number 10
10

Independent Factor Simulation for Improved Multivariate Geostatistics

by Cabral Pinto, Felipe
Published 2020
“... variogram reproduction and facilitating model checking. ......”

Get access

Thesis