|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 12 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 164 | Perry Alexander, Murali Rangarajan, Phillip Baraona |
A Brief Summary of VSPEC.  |
World Congress on Formal Methods  |
1999 |
DBLP DOI BibTeX RDF |
VHDL, languages, systems level design, notations, Larch |
| 109 | Phillip Baraona, Perry Alexander |
Representing abstract architectures with axiomatic specifications and activation conditions. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications |
| 95 | Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander |
VSPEC and Its Integrated Tool Suite. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
VSPEC, Constraints Verification, Requirements Analysis, Functional Verification, Test Vector Generation |
| 62 | Arun Venkataraman, Murali Rangarajan, Perry Alexander |
Composing Specifications in VSPEC. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
| 62 | Amitvikram Rajkhowa, Perry Alexander |
VSPEC Constraints Modeling and Evaluation. |
ECBS |
1999 |
DBLP DOI BibTeX RDF |
performance constraints evaluation, constraints verification |
| 36 | Xinkui Zhao, Jianwei Yin, Zuoning Chen, Sheng He |
vSpec: workload-adaptive operating system specialization for virtual machines in cloud computing. |
Sci. China Inf. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
| 36 | Phillip Baraona, Perry Alexander |
Abstract Architecture Representation Using VSPEC. |
VLSI Design |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license