Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines (Q1785845): Difference between revisions

@@ Property / cites work @@
+Q3113668
@@ Property / cites work: Q3113668 / rank @@
+Normal rank
@@ Property / cites work @@
+What’s Decidable about Weighted Automata?
@@ Property / cites work: What’s Decidable about Weighted Automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about online algorithms with weighted automata
+Normal rank
@@ Property / cites work @@
+Scheduling for Speed Bounded Processors
@@ Property / cites work: Scheduling for Speed Bounded Processors / rank @@
+Normal rank
@@ Property / cites work @@
+Speed scaling to manage energy and temperature
@@ Property / cites work: Speed scaling to manage energy and temperature / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
+Normal rank
@@ Property / cites work @@
+Battery transition systems
@@ Property / cites work: Battery transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Generalized Mean-payoff and Energy Games
@@ Property / cites work: Generalized Mean-payoff and Energy Games / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Weighted Transition Systems
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for stochastic and weighted transition systems
+Normal rank
@@ Property / cites work @@
+Q4941869
@@ Property / cites work: Q4941869 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal reachability for multi-priced timed automata
+Normal rank
@@ Property / cites work @@
+Q4252722
@@ Property / cites work: Q4252722 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129711905
@@ Property / Wikidata QID: Q129711905 / rank @@
+Normal rank