|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 536 occurrences of 380 keywords
|
|
|
Results
Found 502 publication records. Showing 502 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Cosimo Antonio Prete |
Cachesim: A Graphical Software Environment to Support the Teaching of Computer Systems with Cache Memories. |
CSEE |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Alan C. Shaw |
Reasoning About Time in Higher-Level Language Software. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
higher-level language software, program elements, time-related statements, timing invariants, periodic processes, real-time systems, real-time, formal specification, synchronization, specification, lower bounds, delay, concurrent programs, synchronisation, upper bounds, assertions, deadlines, execution times, computer times, formal logic, Hoare logic, timing bounds, sequential programs |
Displaying result #501 - #502 of 502 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6] |
|