Search results for "statement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	J. Ramanujam, S. Vasanthakumar	Statement-level independent partitioning of uniform recurrences.	IPPS	1995	DBLP DOI BibTeX RDF	statement-level independent partitioning, uniform recurrences, constant dependence distance vectors, statement-level affine schedules, multiple nested loops, parallel programming, linear programming, linear programming, multiprocessor, code generation, synchronisation
63	Hiu Ning (Angela) Chan, Esteban Pauli, Billy Yan-Kit Man, Aaron W. Keen, Ronald A. Olsson	An Exception Handling Mechanism for the Concurrent Invocation Statement.	Euro-Par	2005	DBLP DOI BibTeX RDF
59	Andy Vickers	Satisfying Business Problems.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	REVEAL, requirements statement, specification statement, domain statement, rich traceability, satisfaction argument, business problems, specifications, requirements engineering, traceability, systems engineering
56	Lawrence G. Tesler, Horace J. Enea	A language design for concurrent processes.	AFIPS Spring Joint Computing Conference	1968	DBLP DOI BibTeX RDF
55	Michael H. Böhlen, Christian S. Jensen, Richard T. Snodgrass	Temporal statement modifiers.	ACM Trans. Database Syst.	2000	DBLP DOI BibTeX RDF	ATSQL, statement modifiers, temporal databases
49	Jia-ju Mao, Qiu-lin Chen, Ruzhan Lu	Analyzing V+Adj in Situation Semantics.	CICLing	2003	DBLP DOI BibTeX RDF
48	Koji Murakami, Eric Nichols, Suguru Matsuyoshi, Asuka Sumida, Shouko Masuda, Kentaro Inui, Yuji Matsumoto 0001	Statement map: assisting information crediblity analysis by visualizing arguments.	WICOW	2009	DBLP DOI BibTeX RDF	factuality analysis, statement map, sentiment analysis, semantic relations
48	S. Tucker Taft	Implementing the extended return statement for Ada 2005.	SIGAda	2008	DBLP DOI BibTeX RDF	build in place, extended return statement, limited types, ada 2005
48	Chih-Ping Chu, Doris L. Carver	Reordering the Statements with Dependence Cycles to Improve the Performance of Parallel Loops.	ICPADS	1997	DBLP DOI BibTeX RDF	Parallelism Exploitation, Dependence Cycles, Statement Reordering, Parallelization, Parallelizing Compilers
42	Daniel E. Geer Jr.	The Problem Statement is the Problem.	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF
42	Paul Dechering, Leo C. Breebaart, Frits Kuijlman, Kees van Reeuwijk, Henk J. Sips	Semantics and Implementation of a Generalized forall Statement for Parallel Languages.	IPPS	1997	DBLP DOI BibTeX RDF
42	W. Eric Wong, Yan Shi, Yu Qi, Richard M. Golden	Using an RBF Neural Network to Locate Program Bugs.	ISSRE	2008	DBLP DOI BibTeX RDF
42	Zakarya A. Alzamil, Bogdan Korel	Application of redundant computation in software performance analysis.	WOSP	2005	DBLP DOI BibTeX RDF	redundant computation, performance analysis, data dependence, dependence analysis, control dependence, redundant code
42	Scott Moore, Ronald Curtis	A Study of the Prather Software Metric (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Pascal
42	Paul W. Abrahams	A final solution to the Dangling else of ALGOL 60 and related languages.	Commun. ACM	1966	DBLP DOI BibTeX RDF
41	Slo-Li Chu	PSS: A Novel Statement Scheduling Mechanism for a High-Performance SoC Architecture.	ICPADS	2004	DBLP DOI BibTeX RDF	Pair-Selection Scheduling, Statement Analysis, SoC, Processor-in-Memory, SAGE
40	Henry F. Fliegel, Thomas C. van Flandern	Letters to the editor: a machine algorithm for processing calendar dates.	Commun. ACM	1968	DBLP DOI BibTeX RDF	Fortran statement function, Gregorian calendar, Gregorian date, Julian calendar, Julian date, arithmetic statement function, calendar date, continuous day count, function, calendars, time interval
35	Ben H. Smith, Yonghee Shin, Laurie A. Williams	Proposing SQL statement coverage metrics.	SESS	2008	DBLP DOI BibTeX RDF	security, test, SQL, attack, SQL injection, coverage criteria, threat
35	Dennis Jeffrey, Min Feng 0001, Neelam Gupta, Rajiv Gupta 0001	BugFix: A learning-based tool to assist developers in fixing bugs.	ICPC	2009	DBLP DOI BibTeX RDF
35	Tai-Yi Huang, Pin-Chuan Chou, Cheng-Han Tsai, Hsin-An Chen	Automated fault localization with statistically suspicious program states.	LCTES	2007	DBLP DOI BibTeX RDF	fault localization, automated debugging, state coverage
35	Shu-Fen Tu, Ching-Sheng Hsu	A DCT-based ownership identification method with gray-level and colorful signatures.	Pattern Anal. Appl.	2006	DBLP DOI BibTeX RDF	Ownership identification, Copyright protection scheme, Discrete cosine transform
35	Rastislav Bodík, Rajiv Gupta 0001	Partial Dead Code Elimination using Slicing Transformations.	PLDI	1997	DBLP DOI BibTeX RDF
35	Masao Kishore	New syntax for if- and case statements.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
35	Donald W. Loveland	Mechanical Theorem-Proving by Model Elimination.	J. ACM	1968	DBLP DOI BibTeX RDF
34	Edsger W. Dijkstra	Letters to the editor: go to statement considered harmful.	Commun. ACM	1968	DBLP DOI BibTeX RDF	alternative clause, conditional clause, go to statement, jump instruction, program intelligibility, program sequencing, repetitive clause, branch instruction
29	Francesco Bertolotti, Walter Cazzola	CombTransformers: Statement-Wise Transformers for Statement-Wise Representations.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
29		Improve Language Modelling for Code Completion through Statement Level Language Model based on Statement Embedding Generated by BiLSTM.	CoRR	2019	DBLP BibTeX RDF
29	Diptesh Kanojia, Nikhil Wani, Pushpak Bhattacharyya	Is your Statement Purposeless? Predicting Computer Science Graduation Admission Acceptance based on Statement Of Purpose.	CoRR	2018	DBLP BibTeX RDF
29	Shanto Rahman, Md. Mostafijur Rahman, Kazi Sakib	A Statement Level Bug Localization Technique using Statement Dependency Graph.	ENASE	2017	DBLP DOI BibTeX RDF
29	Diptesh Kanojia, Nikhil Wani, Pushpak Bhattacharyya	Is your Statement Purposeless? Predicting Computer Science Graduation Admission Acceptance based on Statement Of Purpose.	ICON	2017	DBLP BibTeX RDF
29	Dz-Ching Ju, Chuan-lin Wu, Paul R. Carini	Statement Merge: an Inter-Statement Optimization of Array Language Programs.	ICPP (2)	1994	DBLP DOI BibTeX RDF
28	Tobias Kraft, Holger Schwarz, Bernhard Mitschang	A Statistics Propagation Approach to Enable Cost-Based Optimization of Statement Sequences.	ADBIS	2007	DBLP DOI BibTeX RDF	cost-based query optimization, query processing, histograms
28	Tao Lv 0001, Jianping Fan 0002, Xiaowei Li 0001, Ling-Yi Liu	Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification.	J. Electron. Test.	2006	DBLP DOI BibTeX RDF	dynamic factored use-definition chains, observability, data-flow analysis, design verification, coverage metrics
28	John Mason	Teaching by analogy: the switch statement.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF	methodology, switch, analogy
28	Jean-Luc Levaire	Semantics and Compilation of the Data-Parallel Switch Statement.	CONPAR	1992	DBLP DOI BibTeX RDF
28	Paul V. McIsaac	Combining ALGOL statement analysis with validity checking.	Commun. ACM	1960	DBLP DOI BibTeX RDF
28	Rajendra P. Srivastava, Glenn R. Shafer	Belief-Function Formulas for Audit Risk.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF	Audit risk, Planning model, Belief functions, Evaluation model
28	W. Eric Wong, Tingting Wei, Yu Qi, Lei Zhao	A Crosstab-based Statistical Method for Effective Fault Localization.	ICST	2008	DBLP DOI BibTeX RDF	crosstab analysis, contingency coefficient, program debugging, fault localization, hypothesis test, Chi-square test
28	Ching-Sheng Hsu, Shu-Fen Tu, Young-Chang Hou	A Statistical Approach for Ownership Identification of Digital Images.	ACIVS	2006	DBLP DOI BibTeX RDF
28	Shu-Fen Tu, Ching-Sheng Hsu	A Digital Rights Management Approach for Gray-Level Images.	ICAPR (2)	2005	DBLP DOI BibTeX RDF
28	Irit Dinur, Omer Reingold	Assignment Testers: Towards a Combinatorial Proof of the PCP-Theorem.	FOCS	2004	DBLP DOI BibTeX RDF
28	Nguyen Tran Sy, Yves Deville	Automatic Test Data Generation for Programs with Integer and Float Variables.	ASE	2001	DBLP DOI BibTeX RDF	software testing, consistency, constraint satisfaction, test data generation
28	Mariagnese Giusto, Alberto Marcone	Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification:03F35
28	Roger Ferguson, Bogdan Korel	The Chaining Approach for Software Test Data Generation.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	heuristics, dynamic analysis, data dependency, program execution
28	Bogdan Korel	Automated Test Data Generation for Programs with Procedures.	ISSTA	1996	DBLP DOI BibTeX RDF
28	Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson	Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.	HUG	1993	DBLP DOI BibTeX RDF
28	Peter Bosch	Indexicality and Representation.	Natural Language and Logic	1989	DBLP DOI BibTeX RDF
28	Kai-Hsiung Chang	A multi-agent planning system (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
28	Bruce Puerling, Lloyd W. Campbell	Whither goeth fortran?	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	FORTRAN
28	Leonidas J. Guibas, Douglas K. Wyatt	Compilation and Delayed Evaluation in APL.	POPL	1978	DBLP DOI BibTeX RDF
28	Edward K. Blum	A Formal System for Differentiation.	J. ACM	1966	DBLP DOI BibTeX RDF
27	Klaus Schmeh	A Critical View on RFC 3647.	EuroPKI	2007	DBLP DOI BibTeX RDF	Certification Practice Statement, Certificate Policy, CP, PKI, CPS
27	Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti	The Efficiency of Critical Slicing in Fault Localization.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	strong and weak mutations, dead, live and equivalent mutants, static and dynamic slicing, critical slicing, statement deletion (Sdl), Mothra Mutation Testing System, Fortran-77, mutation testing, mutation operator
27	Victoria Ungureanu, F. Vesuna, Naftaly H. Minsky	A Policy-based Access Control Mechanism for the Corporate Web.	ACSAC	2000	DBLP DOI BibTeX RDF	policy-based access control mechanism, corporate Web, security problems, management problems, corporate intranet, formal statement, policy engines, business data processing, authorisation, intranets, intranets, access control lists
27	Franz J. Kurfess, Mrinalini Lankala, Ashok Vantipalli, Lonnie R. Welch	A toolset for the reengineering of complex computer systems.	ECBS	1997	DBLP DOI BibTeX RDF	reengineering toolset, complex computer systems, abstract intermediate representation, system software architecture, program level, task level, package/object instance level, subprogram level, statement level, rendezvous graph, call-rendezvous graph, call-data-rendezvous graph, software architecture, graphical user interface, software design, granularity, systems re-engineering, dependence graphs, control flow graph, interaction analysis, call graph, computer-based systems, software transformation
27	Niki Afshartous, Malcolm C. Harrison	Expressing concurrency in Griffin.	ICPADS	1996	DBLP DOI BibTeX RDF	Griffin, statically typed language, Ada software, Griffin language constructs, extended select statement, receiving thread, readers-writers problem, group lock mechanism, scheduling groups, high-level algorithms, parallel programming, Ada, rapid prototyping, synchronisation, program debugging, software prototyping, synchronous communication
27	Cheng-Tien Wu, Chao-Tung Yang, Shian-Shyong Tseng	PPD: A practical parallel loop detector for parallelizing compilers.	ICPADS	1996	DBLP DOI BibTeX RDF	PPD, practical parallel loop detector, DOALL, practical parallelism detector, portable FORTRAN parallelizing compiler, OSF/1, ZIV test, I test, array subscripts, synchronization statement, parallel programming, FORTRAN, synchronisation, parallelizing compilers, parallelising compilers, DOACROSS loop
27	Kleanthis Psarris, Santosh Pande	Classical dependence analysis techniques: sufficiently accurate in practice.	HICSS (2)	1995	DBLP DOI BibTeX RDF	GCD test, Banerjee-Wolfe test, statement data dependence, automatic loop parallelization, Perfect benchmarks, exact test, program testing, data analysis, accuracy, parallelizing compilers, program diagnostics, sufficient conditions, program control structures, parallelising compilers, data dependence analysis, greatest common divisor, automatic vectorization
27	Brendan P. Mahony, Ian J. Hayes	A Case-Study in Timed Refinement: A Mine Pump.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
27	Shang-Ching Chou, Xiao-Shan Gao	Proving Geometry Statements of Constructive Type.	CADE	1992	DBLP DOI BibTeX RDF	Geometry theorem proving, Wu's method, non-degenerate condition, generally true, constructive geometry statement, metric geometry, algebraically closed field, Euclidean geometry
27	Elaine J. Weyuker	Evaluating Software Complexity Measures.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	syntactic software complexity, statement count, cyclomatic number, effort measure, data flow complexity, synthetic complexity, software engineering, software engineering, software complexity measures
22	Nawei Chen, Dorothea Blostein	A survey of document image classification: problem statement, classifier architecture and performance evaluation.	Int. J. Document Anal. Recognit.	2007	DBLP DOI BibTeX RDF	Document image classification, Document classifiers, Document features, Learning mechanisms, Performance evaluation, Document classification, Feature representations, Document categorization, Classification algorithms, Class models
22	David A. Patterson 0001	Revisiting my campaign statement.	Commun. ACM	2006	DBLP DOI BibTeX RDF
22	Li Wang 0014, Wenli Wu, Yingjie Li 0002, Xueli Yu	Content-aware Trust Statement for semantic Grid.	SKG	2006	DBLP DOI BibTeX RDF
22	Wei Lu, Xiu-Tao Yang, Tao Lv 0001, Xiaowei Li 0001	An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	simulation, observability, design verification, coverage metrics, vector generation
22	Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou	An observability measure to enhance statement coverage metric for proper evaluation of verification completeness.	ASP-DAC	2005	DBLP DOI BibTeX RDF
22	James H. Cross II	21st-Century Global Software Development and Education Position Statement.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
22	Peng Zhao, José Nelson Amaral	Feedback-Directed Switch-Case Statement Optimization.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
22	Mark D. Aagaard	A Hazards-Based Correctness Statement for Pipelined Circuits.	CHARME	2003	DBLP DOI BibTeX RDF
22	Kuei-Ping Shih, Jang-Ping Sheu, Chua-Huang Huang	Statement-Level Communication-Free Partitioning Techniques for Parallelizing Compilers.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	Communication-free, hyperplane partition, parallelizing compilers, data communication, distributed-memory multicomputers
22	Jingling Xue	Affine-by-Statement Transformations of Imperfectly Nested Loops.	IPPS	1996	DBLP DOI BibTeX RDF	imperfectly nested loops, code generation, loop transformation
22	Eduard Ayguadé, Jordi Torres	Partitioning the Statement per Iteration Space Using Non-Singular Matrices.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
22	Hanspeter Mössenböck	Treating statement sequences as block objects.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	Smalltalk
22	P. McParland, Peter Kilpatrick	A Specification of a Complex Programming Language Statement.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
22	Paul Philbrow, I. Armour, Malcolm P. Atkinson 0001, J. Livingstone	PS-Algol's device-independent output statement.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	S
22	Carroll Morgan	The Specification Statement.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
22	Kenneth Conrow, Ronald G. Smith	NEATER2: a PL/I source statement reformatter.	Commun. ACM	1970	DBLP DOI BibTeX RDF	documentation aid, execution time usage data, logical analysis of PL/I source, reformatting of PL/I source
21	Matthias Nicola, Tim Kiefer	Generating SQL/XML query and update statements.	CIKM	2009	DBLP DOI BibTeX RDF	sql/xml, sql, mapping, generation, translation, xquery
21	Allison W. Lee, Mohamed Zaït, Thierry Cruanes, Rafi Ahmed, Yali Zhu	Validating the Oracle SQL engine.	DBTest	2009	DBLP DOI BibTeX RDF	execution plan, test, SQL, validation, query optimization, database systems, Oracle
21	Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei 0001, David Chenho Kung	Reusing Existing Test Cases for Security Testing.	ISSRE	2008	DBLP DOI BibTeX RDF
21	Wei Le, Mary Lou Soffa	Refining buffer overflow detection via demand-driven path-sensitive analysis.	PASTE	2007	DBLP DOI BibTeX RDF	path-sensitive, demand-driven, infeasible paths
21	Pavel Naumov	Upper bounds on complexity of Frege proofs with limited use of certain schemata.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF
21	Irene Polycarpou	Computer science students' difficulties with proofs by induction: an exploratory study.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	inductive/recursive definitions, undergraduate computer science curricula, structural induction, proofs by induction
21	Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001	Pruning dynamic slices with confidence.	PLDI	2006	DBLP DOI BibTeX RDF	data and control dependences, debugging, dynamic slicing
21	Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti	Using parse tree validation to prevent SQL injection attacks.	SEM	2005	DBLP DOI BibTeX RDF
21	Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, Rajiv Gupta 0001, Q. Zhang	Data Dependence Based Testability Transformation in Automated Test Generation.	ISSRE	2005	DBLP DOI BibTeX RDF
21	Maria Rekouts	Incorporating Active Rules Processing into Update Execution in XML Database Systems.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	XML, Database systems, Active rules
21	Melanie J. Martin	Reliability and verification of natural language text on the world wide web (abstract only).	SIGIR	2004	DBLP DOI BibTeX RDF
21	Ya-Hui Chang, Cheng-Ta Lee	Supporting Selection-Projection XQuery Processing Based on Encoding Paths.	DASFAA	2003	DBLP DOI BibTeX RDF
21	Zarina Shukur, Abdullah Mohd Zin, Ainita Ban	M2Z: A Tool for Translating a Natural Language Software Specification into Z.	ICFEM	2002	DBLP DOI BibTeX RDF	Formal methods, machine translation, Z, linguistic
21	Geoffrey Watson	Refining Exceptions Using King and Morgan's exit Construct.	APSEC	2002	DBLP DOI BibTeX RDF
21	Tsung-Chuan Huang, Slo-Li Chu	SAGE: A New Analysis and Optimization System for FlexRAM Architecture.	Intelligent Memory Systems	2000	DBLP DOI BibTeX RDF
21	Kamran Karimi, Howard J. Hamilton	Logical Decision Rules: Teaching C4.5 to Speak Prolog.	IDEAL	2000	DBLP DOI BibTeX RDF
21	Kent Cantwell	Edge-Ramsey Theory.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
21	Roel van der Goot, Arie de Bruin	Syntax and Semantics of Procol.	MFCS	1995	DBLP DOI BibTeX RDF
21	Vadim Maslov	Lazy Array Data-Flow Dependence Analysis.	POPL	1994	DBLP DOI BibTeX RDF
21	Amihai Motro, Qiuhui Yuan	Querying Database Knowledge.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
21	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
21	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
21	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF