Search results for "conditionals"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Lennart Åqvist	Modal logic with subjunctive conditionals and dispositional predicates.	J. Philos. Log.	1973	DBLP DOI BibTeX RDF
18	J. W. de Bakker	A property of linear conditionals.	Symposium on Semantics of Algorithmic Languages	1971	DBLP DOI BibTeX RDF
18	M. K. Rennie	Theory of procedures. I. Simple conditionals.	Notre Dame J. Formal Log.	1969	DBLP DOI BibTeX RDF
18	R. B. Angell	A Propositional Logic with Subjunctive Conditionals.	J. Symb. Log.	1962	DBLP DOI BibTeX RDF
13	Peter Lindstrom 0001, Jonathan D. Cohen 0001	On-the-fly decompression and rendering of multiresolution terrain.	SI3D	2010	DBLP DOI BibTeX RDF
13	Phil McMinn, David W. Binkley, Mark Harman	Empirical evaluation of a nesting testability transformation for evolutionary testing.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	testability transformation, test data generation, Evolutionary testing, search-based software engineering
13	Christoph Beierle, Gabriele Kern-Isberner	A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.	KI	2009	DBLP DOI BibTeX RDF
13	Robert S. R. Myers, Dirk Pattinson, Lutz Schröder	Coalgebraic Hybrid Logic.	FoSSaCS	2009	DBLP DOI BibTeX RDF
13	Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner	An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
13	Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook	Remote Batch Invocation for Compositional Object Services.	ECOOP	2009	DBLP DOI BibTeX RDF
13	Zijiang Yang 0006, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu	Dynamic Path Reduction for Software Model Checking.	IFM	2009	DBLP DOI BibTeX RDF
13	Vivek Nigam, Dale Miller 0001	Algorithmic specifications in linear logic with subexponentials.	PPDP	2009	DBLP DOI BibTeX RDF	subexponentials, linear logic, proof search
13	Richard Hughey, Andrea Di Blas	Finding the Next Computational Model: Experience with the UCSC Kestrel.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	biological sequence comparison, VLSI system design, application-specific array processor, parallel processing, parallel programming, computer architecture, systolic array, SIMD, sequence analysis, shared registers
13	Marian Counihan	'if p then q' ... and all that: Logical Elements in Reasoning and Discourse.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Logic, Interpretation, Reasoning, Literacy, Quantifiers
13	Jean-Yves Jaffray	Bayesian Updating and Belief Functions.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF
13	Jiun-Hung Chen, Daniel S. Weld	Recovering from errors during programming by demonstration.	IUI	2008	DBLP DOI BibTeX RDF
13	Jingbo Zhang, Wen Fu, Jianmin Pang, Rongcai Zhao	Using Propositional Calculas to Accurately Structure Control-Flow from Binary Executables.	CSSE (2)	2008	DBLP DOI BibTeX RDF
13	Stijn Vansummeren	On deciding well-definedness for query languages on trees.	J. ACM	2007	DBLP DOI BibTeX RDF	Runtime errors, well-definedness, XQuery
13	Helmut Seidl, Andrea Flexeder, Michael Petter	Interprocedurally Analysing Linear Inequality Relations.	ESOP	2007	DBLP DOI BibTeX RDF
13	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	Modelling Mobility in High-level Petri Nets.	ACSD	2007	DBLP DOI BibTeX RDF	KLAIM, compositional translation, behavioural consistency, mobility, Petri nets, process algebra
13	Steven Robbins	A Java execution simulator.	SIGCSE	2007	DBLP DOI BibTeX RDF	simulation, tracing, Java programming
13	Ming Li 0014, M. Benjamin Dias, Wael El-Deredy, Paulo J. G. Lisboa	A probabilistic model for item-based recommender systems.	RecSys	2007	DBLP DOI BibTeX RDF	popularity-based ordering, shopping basket recommendation, performance evaluation, naive bayes classifier
13	Richard Otte	Counterfactuals and Epistemic Probability.	Synth.	2006	DBLP DOI BibTeX RDF
13	Bin Wu, Jianwen Zhu, Farid N. Najm	Dynamic-range estimation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
13	Giovanni Sartor	Fundamental legal concepts: A formal and teleological characterisation.	Artif. Intell. Law	2006	DBLP DOI BibTeX RDF	normative positions, teleological reasoning
13	Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Faster WCET flow analysis by program slicing.	LCTES	2006	DBLP DOI BibTeX RDF	hard real time, worst-case execution time analysis
13	William D. Lewis	ODIN: A Model for Adapting and Enriching Legacy Infrastructure.	e-Science	2006	DBLP DOI BibTeX RDF
13	Nieraj Singh, Graeme Johnson, Yvonne Coady	CViMe: viewing conditionally compiled C/C++ sources through Java.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	C preprocessor, Java object modeling, source views, modularity, refactoring, reusability, macros, crosscutting concerns, editors, Eclipse plug-ins, conditional compilation
13	Sang-Il Han, Soo-Ik Chae, Ahmed Amine Jerraya	Functional modeling techniques for efficient SW code generation of video codec applications.	ASP-DAC	2006	DBLP DOI BibTeX RDF
13	Christian Ferdinand, Florian Martin 0001, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann	New Developments in WCET Analysis.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
13	Sumit Gulwani, Ashish Tiwari 0001	Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.	ESOP	2006	DBLP DOI BibTeX RDF
13	Stuart Reges	Back to basics in CS1 and CS2.	SIGCSE	2006	DBLP DOI BibTeX RDF	CS1, problem solving, CS2, objects first
13	Diego Andrade, Basilio B. Fraguela, Ramon Doallo	Cache Behavior Modelling for Codes Involving Banded Matrices.	LCPC	2006	DBLP DOI BibTeX RDF
13	Richard Hughey, Andrea Di Blas	The UCSC Kestrel Application-Unspecific Processor.	ASAP	2006	DBLP DOI BibTeX RDF
13	Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha	Memory binding for performance optimization of control-flow intensive behavioral descriptions.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
13	Won So, Alexander G. Dean	Complementing software pipelining with software thread integration.	LCTES	2005	DBLP DOI BibTeX RDF	TI C6000, DSP, software pipelining, VLIW, stream programming, coarse-grain parallelism, software thread integration
13	Jonathan Edwards	Subtext: uncovering the simplicity of programming.	OOPSLA	2005	DBLP DOI BibTeX RDF	non-textual programming, prototypes, visual programming, copying
13	J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt	Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.	POPL	2005	DBLP DOI BibTeX RDF	bi-directional programming, XML, lenses, harmony, view update problem
13	Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry	Backtracking, interleaving, and terminating monad transformers: (functional pearl).	ICFP	2005	DBLP DOI BibTeX RDF	control delimiters, logic programming, Prolog, streams, Haskell, continuations
13	Dung Zung Nguyen, Mathias Ricken, Stephen B. Wong	Design patterns for parsing.	SIGCSE	2005	DBLP DOI BibTeX RDF	modeling, design patterns, pedagogy, parsing, grammar, objects-first, CS1/CS2
13	Manos Renieris, Shashank Ramaprasad, Steven P. Reiss	Arithmetic program paths.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	bit-tracing, branch prediction, arithmetic coding
13	Hugo Liu, Henry Lieberman	Programmatic semantics for natural language interfaces.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	programmatic semantics, storytelling, natural language interfaces, brainstorming, case tools
13	Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre	A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages.	IAT	2005	DBLP DOI BibTeX RDF
13	László Tóth 0001, András Kocsor	Training HMM/ANN Hybrid Speech Recognizers by Probabilistic Sampling.	ICANN (1)	2005	DBLP DOI BibTeX RDF
13	Sumit Gupta, Nicolae Savoiu, Nikil D. Dutt, Rajesh K. Gupta 0001, Alexandru Nicolau	Using global code motions to improve the quality of results for high-level synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
13	Peter Roeper	A Sequent Formulation of Conditional Logic Based on Belief Change Operations.	Stud Logica	2004	DBLP DOI BibTeX RDF	epistemic state, expansion, revision, belief change, conditional logic
13	Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet	Faster Analysis of Formal Specifications.	ICFEM	2004	DBLP DOI BibTeX RDF
13	Kenichi Asai	Offline partial evaluation for shift and reset.	PEPM	2004	DBLP DOI BibTeX RDF	CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations
13	Paolo Traverso, Marco Pistore	Automated Composition of Semantic Web Services into Executable Processes.	ISWC	2004	DBLP DOI BibTeX RDF
13	Sumit Gupta, Nikil D. Dutt, Rajesh Gupta 0001, Alexandru Nicolau	Loop Shifting and Compaction for the High-Level Synthesis of Designs with Complex Control Flow.	DATE	2004	DBLP DOI BibTeX RDF
13	Sumit Gulwani, George C. Necula	Global value numbering using random interpretation.	POPL	2004	DBLP DOI BibTeX RDF	global value numbering, herbrand equivalences, random interpretation, randomized algorithm, uninterpreted functions
13	Frank Hannig, Jürgen Teich	Dynamic Piecewise Linear/Regular Algorithms.	PARELEC	2004	DBLP DOI BibTeX RDF
13	Bin Wu, Jianwen Zhu, Farid N. Najm	Dynamic range estimation for nonlinear systems.	ICCAD	2004	DBLP DOI BibTeX RDF
13	Sumit Gulwani, George C. Necula	A Polynomial-Time Algorithm for Global Value Numbering.	SAS	2004	DBLP DOI BibTeX RDF
13	Aleksandra B. Slavkovic, Stephen E. Fienberg	Bounds for Cell Entries in Two-Way Tables Given Conditional Relative Frequencies.	Privacy in Statistical Databases	2004	DBLP DOI BibTeX RDF	Markov bases, Linear programming, Integer programming, Confidentiality, Statistical disclosure control, Contingency tables, Tabular data
13	Ferruccio Damiani	Rank 2 intersection types for local definitions and conditional expressions.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	polymorphic recursion, Type inference, principal typings
13	Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta 0001	An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology.	DALT	2003	DBLP DOI BibTeX RDF
13	Tania Paneni, Romano Scozzafava	Multi-valued Conditional Events Avoid Lewis' Triviality Result.	ECSQARU	2003	DBLP DOI BibTeX RDF
13	Christoph Beierle, Gabriele Kern-Isberner	Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
13	John Viega, J. T. Bloch, Tadayoshi Kohno, Gary McGraw	Token-based scanning of source code for security problems.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	Buffer overflows, security analysis, race conditions
13	Anthony N. Pettitt, I. S. Weir, A. G. Hart	A Conditional Autoregressive Gaussian Process for Irregularly Spaced Multivariate Data with Application to Modelling Large Sets of Binary Data.	Stat. Comput.	2002	DBLP DOI BibTeX RDF	conditional autoregression, Markov chain Monte Carlo, spatio-temporal, Bayesian analysis, multivariate data, spatial statistics, binary data
13	Krzysztof R. Apt, C. F. M. Vermeulen	First-Order Logic as a Constraint Programming Language.	LPAR	2002	DBLP DOI BibTeX RDF
13	David Hemer	Computer-aided programming using formally specified design templates.	APSEC	2002	DBLP DOI BibTeX RDF	software engineering, formal specification, component-based development
13	Tetsuya Murai, Michinori Nakata, Yoshiharu Sato	Association Rules and Non-Classical Logics.	COMPSAC	2002	DBLP DOI BibTeX RDF
13	James Lin, Michael Thomsen, James A. Landay	A visual language for sketching large and complex interactive designs.	CHI	2002	DBLP DOI BibTeX RDF	denim, user interface design, visual language, web design
13	Renato Ferreira 0001, Gagan Agrawal, Joel H. Saltz	Compiler supported high-level abstractions for sparse disk-resident datasets.	ICS	2002	DBLP DOI BibTeX RDF	data Parallel compilation, restructing compilers, data Intensive computing, sparse computations
13	Christoph Beierle, Gabriele Kern-Isberner	Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.	JELIA	2002	DBLP DOI BibTeX RDF
13	Lerina Aversano, Massimiliano Di Penta, Ira D. Baxter	Handling Preprocessor-Conditioned Declarations.	SCAM	2002	DBLP DOI BibTeX RDF	Preprocessor code analysis, multi-platform software, type-checking, symbol table
13	Alfredo Burrieza, Inman P. de Guzmán	A Temporal × Modal Approach to the Definability of Properties of Functions.	FroCoS	2002	DBLP DOI BibTeX RDF	$Ttimes W$-semantics, functional semantics, completeness, definability
13	Kamal S. Khouri, Niraj K. Jha	Clock selection for performance optimization of control-flowintensive behaviors.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
13	Tetsuya Murai, Michinori Nakata, Yoshiharu Sato	A Note on Conditional Logic and Association Rules.	JSAI Workshops	2001	DBLP DOI BibTeX RDF
13	David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz	How mathematical thinking enchances computer science problem solving.	SIGCSE	2001	DBLP DOI BibTeX RDF
13	Markus Müller-Olm, Helmut Seidl	On optimal slicing of parallel programs.	STOC	2001	DBLP DOI BibTeX RDF	complexity, parallel programs, slicing, undecidability, interprocedural analysis
13	Luiz C. V. dos Santos, Marc J. M. Heijligers, C. A. J. van Eijk, J. Van Eijnhoven, Jochen A. G. Jess	A code-motion pruning technique for global scheduling.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	high-level synthesis, code generation, speculative execution, code motion, global scheduling
13	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	Implementation of a Linear Tabling Mechanism.	PADL	2000	DBLP DOI BibTeX RDF
13	Linas Laibinis, Joakim von Wright	Functional Procedures in Higher-Order Logic.	TPHOLs	2000	DBLP DOI BibTeX RDF
13	Alain Darte, Georges-André Silber	Temporary Arrays for Distribution of Loops with Control Dependences.	Euro-Par	2000	DBLP DOI BibTeX RDF
13	John H. Reif, Thomas H. LaBean	Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization.	DNA Computing	2000	DBLP DOI BibTeX RDF
13	Radu Rugina, Martin C. Rinard	Recursion Unrolling for Divide and Conquer Programs.	LCPC	2000	DBLP DOI BibTeX RDF
13	Kamal S. Khouri, Niraj K. Jha	Clock Selection for Performance Optimization of Control-Flow Intensive Behaviors.	VLSI Design	2000	DBLP DOI BibTeX RDF
13	Rainer Leupers	Exploiting Conditional Instructions in Code Generation for Embedded VLIW Processors.	DATE	1999	DBLP DOI BibTeX RDF
13	Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha	Memory binding for performance optimization of control-flow intensive behaviors.	ICCAD	1999	DBLP DOI BibTeX RDF
13	Jingde Cheng	A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery.	Discovery Science	1998	DBLP DOI BibTeX RDF
13	Rajesh K. Gupta 0001, Giovanni De Micheli	Specification and analysis of timing constraints for embedded systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
13	Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering	Toward a Complete Transformational Toolkit for Compilers.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compiler intermediate representation, program transformation, completion, partial evaluation, term-rewriting, imperative language
13	David M. Dahle, Jeffrey D. Hirschberg, Kevin Karplus, Hansjörg Keller, Eric Rice, Don Speck, Douglas H. Williams, Richard Hughey	Kestrel: Design of an 8-bit SIMD Parallel Processor.	ARVLSI	1997	DBLP DOI BibTeX RDF
13	Cristina Cifuentes	Structuring Decompiled Graphs.	CC	1996	DBLP DOI BibTeX RDF
13	Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering	A Complete Transformational Toolkit for Compilers.	ESOP	1996	DBLP DOI BibTeX RDF
13	Lucia H. B. Manara, Anne N. De Roeck	A Belief-Centered Treatment of Pragmatic Presupposition.	LACL	1996	DBLP DOI BibTeX RDF
13	Pradeep Prabhakaran, Prithviraj Banerjee	Parallel Algorithms for Force Directed Scheduling of Flattened and Hierarchical Signal Flow Graphs.	ICCD	1996	DBLP DOI BibTeX RDF	parallel algorithms, multiprocessors, High-level synthesis, network of workstations, hierarchical graphs, force-directed scheduling
13	Philip S. Santas	Conditional Categories and Domains.	DISCO	1996	DBLP DOI BibTeX RDF
13	José Mira, Angeles Manjarrés Riesco, Salvador Ros 0001, Ana E. Delgado García, José R. Álvarez 0001	Cooperative Organization of Connectivity Patterns and Receptive Fields in the Visual Pathway: Application to Adaptive Thresholding.	IWANN	1995	DBLP DOI BibTeX RDF	inferential models, adaptive neighbourhood, functional receptive fields, Cooperative processes
13	Stephen D. Brookes, Denis Dancanet	Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness.	POPL	1995	DBLP DOI BibTeX RDF
13	Welf Löwe	Optimization of PRAM-Programs with Input-Dependent Memory Access.	Euro-Par	1995	DBLP DOI BibTeX RDF
13	Trevor J. Smedley	A High-Level Visual Language for the Graphical Description of Digital Circuits.	VL	1995	DBLP DOI BibTeX RDF	pulse circuits, high-level visual language, graphical description, programming language systems, digital design systems, full-featured visual programming language, complex circuit specification, repetitive structures, conditional structures, visual languages, circuit analysis computing, circuit CAD, digital circuits, engineering graphics, program structures, digital circuit design
13	Allan L. Fisher, Anwar M. Ghuloum	Parallelizing Complex Scans and Reductions.	PLDI	1994	DBLP DOI BibTeX RDF
13	John A. Nestor, Ganesh Krishnamoorthy	SALSA: a new approach to scheduling with timing constraints.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
13	Andrea Asperti, Cosimo Laneve	Optimal Reductions in Interaction Systems.	TAPSOFT	1993	DBLP DOI BibTeX RDF
13	Eduard Ayguadé, Jordi Torres	Partitioning the Statement per Iteration Space Using Non-Singular Matrices.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
13	K. V. S. Prasad	Programming with Broadcasts.	CONCUR	1993	DBLP DOI BibTeX RDF	CR classification F3. 2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics