Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Christian Schwarzenegger |
Technological determinism and social change: Communication in a tech-mad world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 19(5), pp. 797-799, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Oleg Kiselyov |
Effects Without Monads: Non-determinism - Back to the Meta Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017., pp. 15-40, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Pascal Caron, Ludovic Mignot, Clément Miklarz |
On the decidability of $k$-Block determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.10625, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Umut Oztok, Adnan Darwiche |
On Compiling DNNFs without Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.07092, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Arthur Choi, Adnan Darwiche |
On Relaxing Determinism in Arithmetic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.06846, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Cynthia Kop, Jakob Grue Simonsen |
The Power of Non-Determinism in Higher-Order Implicit Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.05382, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Tomer Libal, Xaviera Steele |
Determinism in the Certification of UNSAT Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP ![In: Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017., pp. 55-76, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Janaki Srinivasan, Megan Finn, Morgan Ames |
Information determinism: The consequences of the faith in information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Soc. ![In: Inf. Soc. 33(1), pp. 13-22, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ernst-Erich Doberkat, Pedro Sánchez Terraf |
Stochastic non-determinism and effectivity functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 27(1), pp. 357-394, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Sergio Antoy, Michael Hanus |
Eliminating Irrelevant Non-determinism in Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, pp. 1-18, 2017, Springer, 978-3-319-51675-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Nikos Zacheilas, Vana Kalogeraki, Yiannis Nikolakopoulos, Vincenzo Gulisano, Marina Papatriantafilou, Philippas Tsigas |
Maximizing Determinism in Stream Processing Under Latency Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, DEBS 2017, Barcelona, Spain, June 19-23, 2017, pp. 112-123, 2017, ACM, 978-1-4503-5065-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Frank Trollmann, Sahin Albayrak |
Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT ![In: Theory and Practice of Model Transformation - 10th International Conference, ICMT@STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings, pp. 35-50, 2017, Springer, 978-3-319-61472-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Georgios Z. Papadopoulos, Tadanori Matsui, Pascal Thubert, Géraldine Texier, Thomas Watteyne, Nicolas Montavont |
Leapfrog collaboration: Toward determinism and predictability in industrial-IoT applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: IEEE International Conference on Communications, ICC 2017, Paris, France, May 21-25, 2017, pp. 1-6, 2017, IEEE, 978-1-4673-8999-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Cynthia Kop, Jakob Grue Simonsen |
The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 668-695, 2017, Springer, 978-3-662-54433-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ivan Walulya, Yiannis Nikolakopoulos, Vincenzo Gulisano, Marina Papatriantafilou, Philippas Tsigas |
Viper: Communication-Layer Determinism and Scaling in Low-Latency Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2017: Parallel Processing Workshops - Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers, pp. 129-140, 2017, Springer, 978-3-319-75177-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Jose M. Faria |
Non-determinism and Failure Modes in Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 2017 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017, pp. 310-316, 2017, IEEE Computer Society, 978-1-5386-2387-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Sandra Alves, Sabine Broda |
Inhabitation machines: determinism and principality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCMA ![In: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., pp. 57-70, 2017, Österreichische Computer Gesellschaft, 978-3-903035-18-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Simon Perdrix, Luc Sanselme |
Determinism and Computational Power of Real Measurement-Based Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 395-408, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Ghorbani, Mehran S. Fallah |
Run-Time Verification for Observational Determinism Using Dynamic Program Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security - 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings, pp. 405-416, 2017, Springer, 978-3-319-69658-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Rodrigo Otoni, Ana Cavalcanti 0001, Augusto Sampaio |
Local Analysis of Determinism for CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, pp. 107-124, 2017, Springer, 978-3-319-70847-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Shokoufeh Monjezi Kouchak, Ashraf Gaffar |
Determinism in future cars: Why autonomous trucks are easier to design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI ![In: 2017 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computed, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017, San Francisco, CA, USA, August 4-8, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-0435-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Seonbong Kim, Joon-Sung Yang |
Improving NVMe SSD I/O determinism with PCIe virtual channel: work-in-progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2017 International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2017, Seoul, Republic of Korea, October 15-20, 2017, pp. 19:1-19:2, 2017, ACM, 978-1-4503-5184-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Simon Van Mierlo, Hans Vangheluwe |
Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Satellite Events) ![In: Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017., pp. 460-462, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Allen Starke, D. Kumar, M. Ford, Janise McNair, A. Bell |
A test bed study of network determinism for heterogeneous traffic using time-triggered ethernet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2017 IEEE Military Communications Conference, MILCOM 2017, Baltimore, MD, USA, October 23-25, 2017, pp. 611-616, 2017, IEEE, 978-1-5386-0595-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Arthur Choi, Adnan Darwiche |
On Relaxing Determinism in Arithmetic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 34th International Conference on Machine Learning, ICML 2017, Sydney, NSW, Australia, 6-11 August 2017, pp. 825-833, 2017, PMLR. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes |
Non-Determinism and the Dynamics of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 1053-1059, 2017, ijcai.org, 978-0-9992411-0-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Julian R. Eichhoff, Dieter Roller 0002 |
Designing the Same, but in Different Ways: Determinism in Graph-Rewriting Systems for Function-Based Design Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 16(1), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Adam Bear, Joshua Knobe |
What Do People Find Incompatible With Causal Determinism? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Sci. ![In: Cogn. Sci. 40(8), pp. 2025-2049, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Vivek Anand T. Kallampally, Raghunath Tewari |
Trading Determinism for Time in Space Bounded Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR16, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Fernando de la Cruz Paragas, Trisha T. C. Lin |
Organizing and reframing technological determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 18(8), pp. 1528-1546, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Vivek Anand T. Kallampally, Raghunath Tewari |
Trading Determinism for Time in Space Bounded Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.04649, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Christian Cachin, Simon Schubert, Marko Vukolic |
Non-determinism in Byzantine Fault-Tolerant Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.07351, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Lin Chao, Camilla Ulla Rang, Audrey Menegaz Proenca, Jasper Ubirajara Chao |
Asymmetrical Damage Partitioning in Bacteria: A Model for the Evolution of Stochasticity, Determinism, and Genetic Assimilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 12(1), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Aiping Gan, Xianzhong Zhao, Miaomiao Ren |
Global determinism of semigroups having regular globals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 72(1), pp. 12-22, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Dennis Komm |
An Introduction to Online Computation - Determinism, Randomization, Advice ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
DOI RDF |
|
16 | Krishna Patel, Robert M. Hierons |
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 123-138, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Vivek Anand T. Kallampally, Raghunath Tewari |
Trading Determinism for Time in Space Bounded Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland, pp. 10:1-10:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-016-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Christopher Boelmann, Lorenz Schwittmann, Marian Waltereit, Matthäus Wander, Torben Weis |
Application-Level Determinism in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016, Wuhan, China, December 13-16, 2016, pp. 989-998, 2016, IEEE Computer Society, 978-1-5090-4457-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Harry Buhrman, Michal Koucký 0001, Bruno Loff, Florian Speelman |
Catalytic Space: Non-determinism and Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orléans, France, pp. 24:1-24:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-001-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Christian Cachin, Simon Schubert, Marko Vukolic |
Non-Determinism in Byzantine Fault-Tolerant Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, pp. 24:1-24:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-031-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Clément Viricel, David Simoncini, Sophie Barbe, Thomas Schiex |
Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 733-750, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jésica de Armas, Pere Tuset, Tengfei Chang, Ferran Adelantado, Thomas Watteyne, Xavier Vilajosana |
Determinism through Path Diversity: Why Packet Replication Makes Sense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INCoS ![In: 2016 International Conference on Intelligent Networking and Collaborative Systems, INCoS 2016, Ostrawva, Czech Republic, September 7-9, 2016, pp. 150-154, 2016, IEEE, 978-1-5090-4124-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Lu Bai, Jiansheng Wang, Baolei Huang |
The Effect of Shared L2 Cache on Determinism in Airborne Embedded System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS ![In: 12th International Conference on Computational Intelligence and Security, CIS 2016, Wuxi, China, December 16-19, 2016, pp. 697-700, 2016, IEEE Computer Society, 978-1-5090-4840-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti |
Input/Output Stochastic Automata - Compositionality and Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 53-68, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Benny Kimelfeld, Ester Livshits, Liat Peterfreund |
Recognizing Determinism in Prioritized Repairing of Inconsistent Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMW ![In: Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Kerem Halil Shah |
Extending ancilla driven universal quantum computation beyond stepwise determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
16 | Thomas Müller 0007 |
Time and Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 44(6), pp. 729-740, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jocelyne Faddoul, Wendy MacCaull |
Handling Non-determinism with Description Logics using a Fork/Join Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Comput. ![In: Int. J. Netw. Comput. 5(1), pp. 61-85, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Ping Lu 0007, Joachim Bremer, Haiming Chen |
Deciding Determinism of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 57(1), pp. 97-139, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Arnab Bhattacharyya 0001, Kirankumar Shiragur |
How friends and non-determinism affect opinion dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.01720, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Guido Montúfar, Keyan Ghazi-Zahedi, Nihat Ay |
Geometry and Determinism of Optimal Stationary Control in Partially Observable Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.07206, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Antonia Cianciulli, Rosa Calvello, Maria A. Panaro |
Determinism and randomness in the evolution of introns and sine inserts in mouse and human mitochondrial solute carrier and cytokine receptor genes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 55, pp. 49-59, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Carnino, Sylvain Lombardy |
On Determinism and Unambiguity of Weighted Two-Way Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 26(8), pp. 1127-1146, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Maryam Dabaghchian, Mohammad Abdollahi Azgomi |
Model checking the observational determinism security property using PROMELA and SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 27(5-6), pp. 789-804, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Haiming Chen, Ping Lu 0007 |
Checking determinism of regular expressions with counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 241, pp. 302-320, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Ping Lu 0007, Feifei Peng, Haiming Chen, Lixiao Zheng |
Deciding determinism of unary languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 245, pp. 181-196, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Tom J. Ameloot |
Deciding Determinism with Fairness for Simple Transducer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 40(2), pp. 9:1-9:39, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens |
Fixing non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL '15, Koblenz, Germany, September 14-16, 2015, pp. 5:1-5:12, 2015, ACM, 978-1-4503-4273-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jaber Karimpour, Ayaz Isazadeh, Ali A. Noroozi |
Verifying Observational Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: ICT Systems Security and Privacy Protection - 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings, pp. 82-93, 2015, Springer, 978-3-319-18466-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Arnab Bhattacharyya 0001, Kirankumar Shiragur |
How friends and non-determinism affect opinion dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015, pp. 6466-6471, 2015, IEEE, 978-1-4799-7886-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Matthew J. Hausknecht, Peter Stone |
The Impact of Determinism on Learning Atari 2600 Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Workshop: Learning for General Competency in Video Games ![In: Learning for General Competency in Video Games, Papers from the 2015 AAAI Workshop, Austin, Texas, USA, January 26, 2015., 2015, AAAI Press, 978-1-57735-721-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Mohamed Hamza Ibrahim, Christopher J. Pal, Gilles Pesant |
Exploiting Determinism to Scale Relational Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA., pp. 1756-1762, 2015, AAAI Press, 978-1-57735-698-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Ali Ebnenasir |
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers, pp. 159-175, 2015, Springer, 978-3-319-24643-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Filip Barac, Mikael Gidlund, Tingting Zhang |
PREED: Packet REcovery by Exploiting the Determinism in Industrial WSN Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCOSS ![In: 2015 International Conference on Distributed Computing in Sensor Systems, DCOSS 2015, Fortaleza, Brazil, June 10-12, 2015, pp. 81-90, 2015, IEEE Computer Society, 978-1-4799-8856-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Peter Danielis, Jan Skodzik, Vlado Altmann, Lennard Lender, Dirk Timmermann |
Dynamic search tolerance at runtime for lookup determinism in the DHT-based P2P network Kad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCNC ![In: 12th Annual IEEE Consumer Communications and Networking Conference, CCNC 2015, Las Vegas, NV, USA, January 9-12, 2015, pp. 355-360, 2015, IEEE, 978-1-4799-6390-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Pavel Martinek |
Fuzzy multiset finite automata: Determinism, languages, and pumping lemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: 12th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2015, Zhangjiajie, China, August 15-17, 2015, pp. 60-64, 2015, IEEE, 978-1-4673-7682-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Timothy Merrifield, Joseph Devietti, Jakob Eriksson |
High-performance determinism with total store order consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Tenth European Conference on Computer Systems, EuroSys 2015, Bordeaux, France, April 21-24, 2015, pp. 31:1-31:13, 2015, ACM, 978-1-4503-3238-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jasmin Smula |
Information content of online problems: advice versus determinism and randomization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
16 | Pepijn Crouzen |
Modularity and determinism in compositional Markov models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
16 | Xavier Jean |
Maîtrise de la couche hyperviseur sur les architectures multi-coeurs COTS dans un contexte avionique. (Hypervisor control of COTS multi-cores processors in order to enforce determinism for future avionics equipment). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
16 | Meng Li 0003, Michaël Lauer, Guchuan Zhu, Yvon Savaria |
Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 10(3), pp. 1684-1695, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Sajda Qureshi |
Overcoming Technological Determinism in Understanding the Digital Divide: Where Do We Go From Here? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Technol. Dev. ![In: Inf. Technol. Dev. 20(3), pp. 215-217, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Carnino, Sylvain Lombardy |
On Determinism and Unambiguity of Weighted Two-way Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 188-200, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Daniel McCormack |
Boolean Algebraic Programs as a Methodology for Symbolically Demonstrating Lower and Upper Bounds of Algorithms and Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.3239, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Vikram Gupta, Nuno Pereira 0001, Eduardo Tovar, Ragunathan Rajkumar |
Poster abstract: a harmony of sensors: achieving determinism in multi-application sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: IPSN'14, Proceedings of the 13th International Symposium on Information Processing in Sensor Networks (part of CPS Week), April 15-17, 2014, Berlin, Germany, pp. 299-300, 2014, IEEE/ACM, 978-1-4799-3146-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Cedomir Segulja, Tarek S. Abdelrahman |
What is the cost of weak determinism? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: International Conference on Parallel Architectures and Compilation, PACT '14, Edmonton, AB, Canada, August 24-27, 2014, pp. 99-112, 2014, ACM, 978-1-4503-2809-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Kaushik Ravichandran 0001, Ada Gavrilovska, Santosh Pande |
DeSTM: harnessing determinism in STMs for application development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: International Conference on Parallel Architectures and Compilation, PACT '14, Edmonton, AB, Canada, August 24-27, 2014, pp. 213-224, 2014, ACM, 978-1-4503-2809-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Hoang Minh Le 0001, Rolf Drechsler |
Towards verifying determinism of SystemC designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, pp. 1-4, 2014, European Design and Automation Association, 978-3-9815370-2-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Robbert Krebbers |
An operational and axiomatic semantics for non-determinism and sequence points in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 101-112, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto |
Resolving Non-determinism in Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 493-512, 2014, Springer, 978-3-642-54832-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Nikita Danilenko |
Exploring Non-Determinism in Graph Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP/WFLP ![In: Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, Wittenberg, Germany, September 15-17, 2014., pp. 125-139, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Jocelyne Faddoul, Wendy MacCaull |
A Parallel Framework for Handling Non-determinism with Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, Phoenix, AZ, USA, May 19-23, 2014, pp. 699-708, 2014, IEEE Computer Society, 978-0-7695-5208-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Li Lu, Weixing Ji, Michael L. Scott |
Dynamic enforcement of determinism in a parallel scripting language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014, pp. 519-529, 2014, ACM, 978-1-4503-2784-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Romina Eramo, Romeo Marinelli, Alfonso Pierantonio, Gianni Rosa |
Towards Analysing Non-Determinism in Bidirectional Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMT@MoDELS ![In: Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014., pp. 76-85, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Florent Becker, Pedro Montealegre 0001, Ivan Rapaport, Ioan Todinca |
The Simultaneous Number-in-Hand Communication Model for Networks: Private Coins, Public Coins and Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIROCCO ![In: Structural Information and Communication Complexity - 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014. Proceedings, pp. 83-95, 2014, Springer, 978-3-319-09619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Mário de Sousa |
Guaranteeing replica determinism on IEC 61499. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014, pp. 1-7, 2014, IEEE, 978-1-4799-4846-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Julian Shun, Guy E. Blelloch |
Phase-concurrent hash tables for determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: 26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '14, Prague, Czech Republic - June 23 - 25, 2014, pp. 96-107, 2014, ACM, 978-1-4503-2821-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | David B. Smith 0002, Vibhav Gogate |
Loopy Belief Propagation in the Presence of Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, AISTATS 2014, Reykjavik, Iceland, April 22-25, 2014, pp. 895-903, 2014, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Nicolas Francisco Lopez Giraldo |
Assessing and reducing the impact of LDA's non-determinism in software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
16 | Pavle Krsmanovic |
Fundamental paradox of survival determinism: the ur-etiology disease paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Biosci. ![In: Theory Biosci. 132(2), pp. 65-71, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Johan Söderberg |
Determining social change: The role of technological determinism in the collective action framing of hackers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 15(8), pp. 1277-1293, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani |
Call-by-value non-determinism in a linear logic type discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.4507, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Joshua Garland, Ryan G. James, Elizabeth Bradley |
Determinism, Complexity, and Predictability in Computer Performance ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1305.5408, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Armin Hemmerling |
On Regular Sets of Bounds and Determinism versus Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1309.5862, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Juraj Hromkovic, Rastislav Královic, Richard Královic, Richard Stefanec |
Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 24(7), pp. 955-978, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gianluca De Marco, Dariusz R. Kowalski |
Searching for a subset of counterfeit coins: Randomization vs determinism and adaptiveness vs non-adaptiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 42(1), pp. 97-109, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ian J. Hayes, Alan Burns 0001, Brijesh Dongol, Cliff B. Jones |
Comparing Degrees of Non-Determinism in Expression Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 56(6), pp. 741-755, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Federico Aschieri, Margherita Zorzi |
Non-determinism, Non-termination and the Strong Normalization of System T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 31-47, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Sebastian Bala, Dariusz Jackowski |
Limited Non-determinism Hierarchy of Counter Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, pp. 92-103, 2013, Springer, 978-3-642-37063-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Vincent M. Weaver, Daniel Terpstra, Shirley Moore |
Non-determinism and overcount on modern hardware performance counter implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: 2012 IEEE International Symposium on Performance Analysis of Systems & Software, Austin, TX, USA, 21-23 April, 2013, pp. 215-224, 2013, IEEE Computer Society, 978-1-4673-5776-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|