|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 887 occurrences of 557 keywords
|
|
|
Results
Found 1143 publication records. Showing 1143 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Hermann Kopetz |
Why time-triggered architectures will succeed in large hard real-time systems. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
large hard real-time systems, encapsulated subsystems, temporal firewalls, sparse time base, replica determinism, time-triggered communication protocol, real-time systems, computational complexity, computer architecture, design principles, time-triggered architectures |
25 | Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi |
Test Selection Based on Finite State Models. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
partial W-method, full fault-detection power, interaction parameters, reset function, software engineering, protocols, program testing, conformance testing, conformance testing, determinism, test suites, protocol implementations, protocol testing, test architectures, finite state models |
18 | Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni |
Complexity results in revising UNITY programs. |
ACM Trans. Auton. Adapt. Syst. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, UNITY |
18 | Pascal Bercher, Robert Mattmüller |
Solving Non-deterministic Planning Problems with Pattern Database Heuristics. |
KI |
2009 |
DBLP DOI BibTeX RDF |
non-deterministic planning, PDB heuristics, Heuristic search |
18 | Thomas Colcombet |
The Theory of Stabilisation Monoids and Regular Cost Functions. |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan |
Purely functional lazy non-deterministic programming. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, continuations, monads, side effects |
18 | Christian Murphy, Kuang Shen, Gail E. Kaiser |
Automatic system testing of programs without test oracles. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
software testing, metamorphic testing, oracle problem |
18 | Matthew Might, Panagiotis Manolios |
A PosterioriSoundness for Non-deterministic Abstract Interpretations. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Ignacio Laguna, Fahad A. Arshad, David M. Grothe, Saurabh Bagchi |
How to Keep Your Head above Water While Detecting Errors. |
Middleware |
2009 |
DBLP DOI BibTeX RDF |
Stateful error detection, High throughput distributed applications, J2EE multi-tier systems, Intelligent sampling, Hidden Markov Model |
18 | Andy Georges, Lieven Eeckhout, Dries Buytaert |
Java performance evaluation through rigorous replay compilation. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
matched-pair comparison, replay compilation, java, performance evaluation, benchmarking, virtual machine |
18 | Mehdi Mhalla, Simon Perdrix |
Finding Optimal Flows Efficiently. |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Sibin Mohan, Frank Mueller 0001 |
Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
hybrid timing anlalysis, hardware/software interactions, real-time systems, embedded systems, computer architecture, timing analysis, worst-case execution time, out-of-order execution |
18 | Cristiano Pereira, Harish Patil, Brad Calder |
Reproducible simulation of multi-threaded workloads for architecture design exploration. |
IISWC |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Garo Bournoutian, Alex Orailoglu |
Miss reduction in embedded processors through dynamic, power-friendly cache design. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
dynamic associativity, multi-core, embedded processors, data cache |
18 | Andy Georges, Dries Buytaert, Lieven Eeckhout |
Adding rigorous statistics to the Java benchmarker's toolbox. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
Java, benchmarking, methodology, statistics, data analysis |
18 | Umut A. Acar, Matthias Blume, Jacob Donham |
A Consistent Semantics of Self-adjusting Computation. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Rishiyur S. Nikhil |
Composable Guarded Atomic Actions: a Bridging Model for SoC Design. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis |
JThreadSpy: teaching multithreading programming by analyzing execution traces. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization |
18 | Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi |
A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Robert St-Aubin, Joel Friedman, Alan K. Mackworth |
A formal mathematical framework for modeling probabilistic hybrid systems. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T37 |
18 | K. Subramani 0001, C. Tauras |
An approximation algorithm for state minimization in 2-MDFAs. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
2-MDFA, Finite state automata, State minimization |
18 | Cyrille Artho, Armin Biere, Shinichi Honiden |
Enforcer - Efficient Failure Injection. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Holly Longstaff |
Distorted Conversations: On and Offline Explorations of Genomic Art. |
IV |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Levi Lucio, Luis Pedro, Didier Buchs |
A Test Language for CO-OPN Specifications. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Yiwei Liu, Markku Kankaanpää, Joseph P. Zbilut, Charles L. Webber Jr. |
EMG recurrence quantifications in dynamic exercise. |
Biol. Cybern. |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Peter Y. A. Ryan |
Shedding Light on Haunted Corners of Information Security. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Yo-Sub Han, Derick Wood |
The Generalization of Generalized Automata: Expression Automata. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Kevin M. Lepak, Harold W. Cain, Mikko H. Lipasti |
Redeeming IPC as a Performance Metric for Multithreaded Programs. |
IEEE PACT |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith |
Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Orieta Celiku, Joakim von Wright |
Implementing Angelic Nondeterminism. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Alan Mishchenko, Robert K. Brayton |
A Theory of Non-Deterministic Networks. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Marc Andreoli, Laurent Mazaré |
Concurrent Construction of Proof-Nets. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Sias Mostert, Nathalie Cossement, Rudy Lauwereins, Jef L. van Meerbergen |
DF*: Modeling Dynamic Process Creation and Events for Interactive Multimedia Applications. |
IEEE International Workshop on Rapid System Prototyping |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Cliff B. Jones |
Editorial. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Simone Veglioni, Rocco De Nicola |
Possible Worlds for Process Algebras. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Florence Maraninchi, Nicolas Halbwachs |
Compositional Semantics of Non-Deterministic Synchronous Languages. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Alberto García-Martínez, Jesús Fernández-Conde, Ángel Viña |
A Comprehensive Approach in Performance Evaluation for Modern Real-Time Operating Systems. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
performance evaluation, software performance evaluation, performance metrics, real-time operating systems |
18 | Wanqing Wu, Rajiv Gupta 0001, Madalene Spezialetti |
Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed Applications. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Stéphane Grumbach, Zoé Lacroix, Steven Lindell |
Generalized Implicit Definitions on Finite Structures. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Yiannis N. Moschovakis, Glen T. Whitney |
Powerdomains, Powerstructures and Fairness. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Yves Bekkers, Lucien Ungaro |
Real-Time Memory Management for Prolog. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
early reset, variable shunting, attributed variable, virtual backtracking, Prolog, implementation, abstract machine, realtime, garbage collector |
18 | Gail E. Kaiser |
Concurrent meld. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
MELD |
18 | Wen-Kai Chung, William B. Day |
The process allocation in parallel interpretation of logic programs (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Barichard |
CHR++: An efficient CHR system in C++ with don't know non-determinism. |
Expert Syst. Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Ardra P. Kumar, S. Rukmini |
Technology, the latent conqueror: an experimental study on the perception and awareness of technological determinism featuring select sci-fi films and AI literature. |
AI Soc. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani |
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency. |
IEEE Trans. Software Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Sisi Duan, Yue Huang |
Byzantine Fault Tolerance with Non-Determinism, Revisited. |
IACR Cryptol. ePrint Arch. |
2024 |
DBLP BibTeX RDF |
|
16 | Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani |
Actors Upgraded for Variability, Adaptability, and Determinism. |
Active Object Languages: Current Research Trends |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Aditya Prakash 0002 |
Checking History-Determinism is NP-hard for Parity Automata. |
FoSSaCS (1) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Udi Boker, Karoliina Lehtinen |
When a Little Nondeterminism Goes a Long Way: An Introduction to History-Determinism. |
ACM SIGLOG News |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Lucas Aimaretto, Diego Dujovne |
Enhancing end-to-end determinism and reliability in 6TiSCH networks with disjoint leaf-based MPLS-like tunnels. |
Internet Things |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto |
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). |
Dagstuhl Artifacts Ser. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Miguel Alcon, Axel Brando, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla |
Main sources of variability and non-determinism in AD software: taxonomy and prospects to handle them. |
Real Time Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Michaela Mihoková |
Correlation Sum and Recurrence Determinism of Interval Maps. |
Int. J. Bifurc. Chaos |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Dmytro Gavinsky |
Patterned non-determinism in communication complexity. |
Electron. Colloquium Comput. Complex. |
2023 |
DBLP BibTeX RDF |
|
16 | Baicai Sun, Dunwei Gong, Feng Pan 0008, Xiangjuan Yao, Tian Tian |
Evolutionary Generation of Test Suites for Multi-Path Coverage of MPI Programs With Non-Determinism. |
IEEE Trans. Software Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Yucong Chen, Xianzhi Tang, Shuaixin Xu, Fangfang Zhu, Qingguo Zhou, Tien-Hsiung Weng |
Analyzing execution path non-determinism of the Linux kernel in different scenarios. |
Connect. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow, Karoliina Lehtinen |
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Lucas Aimaretto, Diego Dujovne |
Enhancing End-to-End Determinism and Reliability in 6TiSCH networks with disjoint leaf-based MPLS-like tunnels. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Dmytro Gavinsky |
Patterned non-determinism in communication complexity. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Sen Wang, Dong Li, Ashrarul H. Sifat, Shaoyu Huang, Xuanliang Deng, Changhee Jung, Ryan K. Williams, Haibo Zeng 0001 |
Optimizing Logical Execution Time Model for Both Determinism and Low Latency. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hitoshi Furusawa, Walter Guttmann, Georg Struth |
Determinism of Multirelations. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Alejandro Díaz-Caro, Octavio Malherbe |
Non-determinism in a linear logic type discipline: A concrete categorical perspective. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Shuyin Ouyang, Jie M. Zhang, Mark Harman, Meng Wang |
LLM is Like a Box of Chocolates: the Non-determinism of ChatGPT in Code Generation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Aditya Prakash 0002 |
Checking History-Determinism is NP-hard for Parity Automata. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne |
A Survey on Parallelism and Determinism. |
ACM Comput. Surv. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Miryeong Kwon, Seungjun Lee, Hyunkyu Choi, Jooyoung Hwang, Myoungsoo Jung |
Realizing Strong Determinism Contract on Log-Structured Merge Key-Value Stores. |
ACM Trans. Storage |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Huaicheng Li, Martin L. Putra, Ronald Shi, Fadhil I. Kurnia, Xing Lin, Jaeyoung Do, Achmad Imam Kistijantoro, Gregory R. Ganger, Haryadi S. Gunawi |
Extending and Programming the NVMe I/O Determinism Interface for Flash Arrays. |
ACM Trans. Storage |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jing Liu, Huibin Lu, Yuanyuan Guo, Guanghua Gu, Xiaoli Li, Dong Cui |
A new EEG determinism analysis method based on multiscale dispersion recurrence plot. |
Biomed. Signal Process. Control. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Marius Krumm, Markus P. Müller |
Free Agency and Determinism: Is There a Sensible Definition of Computational Sourcehood? |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Walter Guttmann, Georg Struth |
Inner Structure, Determinism and Modal Algebra of Multirelations. |
Arch. Formal Proofs |
2023 |
DBLP BibTeX RDF |
|
16 | Bas van den Heuvel 0001, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez 0001 |
Typed Non-determinism in Functional and Concurrent Calculi. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Muyeed Ahmed, Iulian Neamtiu |
DeAnomalyzer: Improving Determinism and Consistency in Anomaly Detection Implementations. |
AITest |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto |
Information Flow Analysis for Detecting Non-Determinism in Blockchain. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Phuong (Phoebe) Dinh, David Danks |
Expectations of Determinism Underlie Domain Effects on Adult Causal Learning. |
CogSci |
2023 |
DBLP BibTeX RDF |
|
16 | Arnaud Carayol, Philippe Duchon, Florent Koechlin, Cyril Nicaud |
One Drop of Non-Determinism in a Random Deterministic Automaton. |
STACS |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Karoliina Lehtinen |
A Brief History of History-Determinism (Invited Talk). |
STACS |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Cabanis, Julie Magat, Girish Ramlugun, Nestor Pallares-Lupon, Fanny Vaillant, Emma Abell, Laura Bear, Cindy Michel, Philippe Pasdois, Pierre Dos Santos, Marion Constantin, David Benoist, Line Pourtau, Virginie Dubes, Julien Rogier, Louis Labrousse, Mathieu Pernot, Oliver Busuttil, Michel Haïssaguerre, Olivier Bernus, Bruno Quesson, Edward J. Vigmond, Richard D. Walton, Josselin Duchateau, Valéry Ozenne |
Characterization of the Septal Discontinuity in Ex-Vivo Human Hearts Using Diffusion Tensor Imaging: The Potential Structural Determinism Played by Fiber Orientation in Clinical Phenotype of Laminopathy Patients. |
FIMH |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Masatoshi Uehara, Ayush Sekhari, Jason D. Lee, Nathan Kallus, Wen Sun 0002 |
Computationally Efficient PAC RL in POMDPs with Latent Determinism and Conditional Embeddings. |
ICML |
2023 |
DBLP BibTeX RDF |
|
16 | Ted H. Szymanski |
The "Cyber Security via Determinism" Paradigm for a Quantum Safe Zero Trust Deterministic Internet of Things (IoT). |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Fawad Riasat Raja, David Chen 0002, René Hexel |
A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Séverin Lemaignan, Tony Pipe, Kerstin Eder |
On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification. |
IEEE Trans. Intell. Transp. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Bas van den Heuvel 0001, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez 0001 |
Functions as Processes: The Case of Collapsing Non-determinism. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne |
A Survey on Parallelism and Determinism. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Masatoshi Uehara, Ayush Sekhari, Jason D. Lee, Nathan Kallus, Wen Sun 0002 |
Computationally Efficient PAC RL in POMDPs with Latent Determinism and Conditional Embeddings. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | A. Feder Cooper, Jonathan Frankle, Christopher De Sa |
Non-Determinism and the Lawlessness of ML Code. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Eduard Kamburjan, Nathan Wasser |
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics. |
ICE |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Qi Zhao 0003, Zhengyi Qiu, Shudi Shao, Xinning Hui, Hassan Ali Khan, Guoliang Jin |
Understanding and Reaching the Performance Limit of Schedule Tuning on Stable Synchronization Determinism. |
PACT |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Satnam Singh |
The Virtuous Cycles of Determinism: Programming Groq's Tensor Streaming Processor. |
FPGA |
2022 |
DBLP DOI BibTeX RDF |
|
16 | A. Feder Cooper, Jonathan Frankle, Christopher De Sa |
Non-Determinism and the Lawlessness of Machine Learning Code. |
CSLAW |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Stanislav Lange, Marija Gajic, Thomas Zinner, Jane Frances Pajo, Håkon Lønsethagen, Min Xie 0006, Ricard Vilalta |
Towards assessing effects of isolation on determinism in multi-application scenarios. |
FIRA@SIGCOMM |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Alexandre Fernandez, Luidnel Maignan, Antoine Spicher |
Non-Determinism in Lindenmayer Systems and Global Transformations. |
MFCS |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Bell, Kae Suarez, Barbara Fossum, Dylan Chapp, Sanjukta Bhowmick, Michela Taufer |
A Research-Based Course Module to Study Non-determinism in High Performance Applications. |
IPDPS Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Phuong (Phoebe) Dinh, David Danks |
Expectations of Causal Determinism in Causal Learning. |
CogSci |
2022 |
DBLP BibTeX RDF |
|
16 | Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara 0001, Fausto Spoto, Enrico Talin |
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. |
SOAP@PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Miryeong Kwon, Seungjun Lee, Hyunkyu Choi, Jooyoung Hwang, Myoungsoo Jung |
Vigil-KV: Hardware-Software Co-Design to Integrate Strong Latency Determinism into Log-Structured Merge Key-Value Stores. |
USENIX Annual Technical Conference |
2022 |
DBLP BibTeX RDF |
|
16 | Niklas Ambrosy, Thomas Kampa, Ulrich Jumar, Daniel Großmann |
5G and DetNet: Towards holistic determinism in industrial networks. |
ICIT |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Rongjian Liang, Hua Xiang 0001, Jinwook Jung, Jiang Hu, Gi-Joon Nam |
A Stochastic Approach to Handle Non-Determinism in Deep Learning-Based Design Rule Violation Predictions. |
ICCAD |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Emile Hazard |
Non-determinism, explorable automata and cyclic proofs. (Non-déterminisme, automates explorables et preuves cycliques). |
|
2022 |
RDF |
|
16 | Alexander Rucker, Muhammad Shahbaz 0001, Kunle Olukotun |
Chopping off the Tail: Bounded Non-Determinism for Real-Time Accelerators. |
IEEE Comput. Archit. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1143 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|