|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
69 | Gerald M. Karam, Raymond J. A. Buhr |
Temporal Logic-Based Deadlock Analysis For Ada. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers |
40 | Zheng Chu, Jingchang Chen, Qianglong Chen, Weijiang Yu, Haotian Wang 0007, Ming Liu 0004, Bing Qin 0001 |
TimeBench: A Comprehensive Evaluation of Temporal Reasoning Abilities in Large Language Models. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Alexander Rind, Tim Lammarsch, Wolfgang Aigner, Bilal Alsallakh, Silvia Miksch |
TimeBench: A Data Model and Software Library for Visual Analytics of Time-Oriented Data. |
IEEE Trans. Vis. Comput. Graph. |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Raymond J. A. Buhr, Gerald M. Karam, C. Murray Woodside, Ronald S. Casselman, Greg Franks, H. Scott, D. Bailey |
TimeBench: a CAD tool for real-time system design. |
SETA |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|