Search results for "bitvector"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Helmut Seidl, Bernhard Steffen	Constraint-Based Inter-Procedural Analysis of Parallel Programs.	ESOP	2000	DBLP DOI BibTeX RDF	Inter-procedural program analysis, explicit parallelism, bitvector problems, simple constant propagation, coincidence theorems
81	Jens Knoop, Bernhard Steffen, Jürgen Vollmer 0001	Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	assignment motion, bitvector problems, definition-use chains, partial dead-code elimination, parallelism, synchronization, shared memory, data flow analysis, program optimization, code motion, strength reduction, interleaving semantics
81	Ranjit Jhala, Rupak Majumdar	Bit level types for high level reasoning.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	model checking, type inference, bit vectors
50	Jens Knoop, Bernhard Steffen	Code Motion for Explicitly Parallel Programs.	PPoPP	1999	DBLP DOI BibTeX RDF	bitvector problems, code motion (partial redundancy elimination), synchronization, shared memory, data-flow analysis, code optimization, interleaving semantics
40	Raik Brinkmann, Rolf Drechsler	RTL-Datapath Verification using Integer Linear Programming.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
40	Jens Knoop	Parallel Data-Flow Analysis of Explicitly Parallel Programs.	Euro-Par	1999	DBLP DOI BibTeX RDF
40	Jens Knoop	Parallel Constant Propagation.	Euro-Par	1998	DBLP DOI BibTeX RDF
31	Saska Dönges, Simon J. Puglisi, Rajeev Raman	On Dynamic Bitvector Implementations.	DCC	2022	DBLP DOI BibTeX RDF
31	Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu 0024	Proving LTL Properties of Bitvector Programs and Decompiled Binaries.	APLAS	2021	DBLP DOI BibTeX RDF
31	Mihály Dobos-Kovács, Ákos Hajdu, András Vörös 0001	Bitvector Support in the Theta Formal Verification Framework.	LADC	2021	DBLP DOI BibTeX RDF
31	Bailu Ding, Surajit Chaudhuri, Vivek R. Narasayya	Bitvector-aware Query Optimization for Decision Support Queries (extended version).	CoRR	2020	DBLP BibTeX RDF
31	Bailu Ding, Surajit Chaudhuri, Vivek R. Narasayya	Bitvector-aware Query Optimization for Decision Support Queries.	SIGMOD Conference	2020	DBLP DOI BibTeX RDF
31	David Damestani, Laura Kovács, Martin Suda 0001	Superposition Reasoning about Quantified Bitvector Formulas.	SYNASC	2019	DBLP DOI BibTeX RDF
31	Jera Hensel, Jürgen Giesl, Florian Frohn, Thomas Ströder	Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
31	Jera Hensel, Jürgen Giesl, Florian Frohn, Thomas Ströder	Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution.	SEFM	2016	DBLP DOI BibTeX RDF
31	Wenchen Wang, Daniel Mossé, Daniel G. Cole	Bitvector: Fault Tolerant Aggregation Scheme for Monitoring in Nuclear Power Plants.	HPCC/CSS/ICESS	2015	DBLP DOI BibTeX RDF
31	Stefan Edelkamp, Martin Stommel	The Bitvector Machine: A Fast and Robust Machine Learning Algorithm for Non-linear Problems.	ECML/PKDD (1)	2012	DBLP DOI BibTeX RDF
31	Stephan Falke 0001, Deepak Kapur, Carsten Sinz	Termination Analysis of Imperative Programs Using Bitvector Arithmetic.	VSTTE	2012	DBLP DOI BibTeX RDF
31	Azadeh Farzan, Zachary Kincaid	Compositional Bitvector Analysis for Concurrent Programs with Nested Locks.	SAS	2010	DBLP DOI BibTeX RDF
31	Nannan He, Michael S. Hsiao	An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification.	DATE	2009	DBLP DOI BibTeX RDF
31	Peer Johannsen	Reducing bitvector satisfiability problems to scale down design sizes for RTL property checking.	HLDVT	2001	DBLP DOI BibTeX RDF
31	Jens Knoop, Bernhard Steffen, Jürgen Vollmer 0001	Parallelism for Free: Bitvector Analyses -> No State Explosion!	TACAS	1995	DBLP DOI BibTeX RDF
29	Mark A. Heinrich, Vijayaraghavan Soundararajan, John L. Hennessy, Anoop Gupta	A Quantitative Analysis of the Performance and Scalability of Distributed Shared Memory.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	flexible node controller, bitvector, dynamic pointer allocation, controller occupancy, distributed shared memory, performance comparison, FLASH, Cache coherence protocols, MAGIC, COMA, SCI, scalable multiprocessors
20	Sumit Gulwani	Dimensions in program synthesis.	PPDP	2010	DBLP DOI BibTeX RDF	deductive synthesis, inductive synthesis, sat solving, smt solving, machine learning, genetic programming, programming by demonstration, belief propagation, programming by examples, probabilistic inference
20	Martin Dietzfelbinger, Stefan Edelkamp	Perfect Hashing for State Spaces in BDD Representation.	KI	2009	DBLP DOI BibTeX RDF
20	Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan	Program analysis as constraint solving.	PLDI	2008	DBLP DOI BibTeX RDF	most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis
20	Domenik Helms, Marko Hoyer, Wolfgang Nebel	Accurate PTV, State, and ABB Aware RTL Blackbox Modeling of Subthreshold, Gate, and PN-Junction Leakage.	PATMOS	2006	DBLP DOI BibTeX RDF
20	Tobias Schüle, Klaus Schneider 0001	Verification of Data Paths Using Unbounded Integers: Automata Strike Back.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
20	Byron Cook, Georges Gonthier	Using Stålmarck's Algorithm to Prove Inequalities.	ICFEM	2005	DBLP DOI BibTeX RDF
20	Mainak Chaudhuri, Mark A. Heinrich	The Impact of Negative Acknowledgments in Shared Memory Scientific Applications.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	negative acknowledgment, node controller occupancy, Distributed shared memory, cache coherence protocol
20	Johan Blom, Anders Hessel, Bengt Jonsson 0001, Paul Pettersson	Specifying and Generating Test Cases Using Observer Automata.	FATES	2004	DBLP DOI BibTeX RDF
20	Bart Jacobs 0001	Java's Integral Types in PVS.	FMOODS	2003	DBLP DOI BibTeX RDF
20	Wolfgang Scheufele, Guido Moerkotte	Efficient Dynamic Programming Algorithms for Ordering Expensive Joins and Selections.	EDBT	1998	DBLP DOI BibTeX RDF
20	Jens Knoop	Partial Dead Code Elimination for Parallel Programs.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF