Search results for "nesting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Bin Nong, Zhongde Wang	A new nesting scheme of PFA [prime factor algorithm].	ICASSP	1990	DBLP DOI BibTeX RDF
18	James W. Howatt, Albert L. Baker	Rigorous definition and analysis of program complexity measures: An example using nesting.	J. Syst. Softw.	1989	DBLP DOI BibTeX RDF
18	Charles C. Lindner, Christopher A. Rodger, Douglas R. Stinson	Nesting of cycle systems of odd length.	Discret. Math.	1989	DBLP DOI BibTeX RDF
18	J. Patterson	Improved System Design Through Proper Nesting of Test Levels.	ITC	1989	DBLP DOI BibTeX RDF
18	Solly A. Segenreich	How to build a lattice nesting in any arbitrary direction.	Comput. Graph.	1988	DBLP DOI BibTeX RDF
18	Charles C. Lindner, Christopher A. Rodger	Nesting and Almost Resolvability of Pentagon Systems.	Eur. J. Comb.	1988	DBLP DOI BibTeX RDF
18	Wan-Chi Siu	A nesting algorithm for very fast discrete Fourier transforms.	ICASSP	1988	DBLP DOI BibTeX RDF
18	Joanna Jedrzejowicz	Nesting of Shuffle Closure is Important.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
18	Akhil Kumar 0001, Michael Stonebraker	The Effect of Join Selectivities on Optimal Nesting Order.	SIGMOD Rec.	1987	DBLP DOI BibTeX RDF
18	Solly Andy Segenreich, Leda Maria P. Faria Braga	Optimal nesting of general plane figures: A Monte Carlo heuristical approach.	Comput. Graph.	1986	DBLP DOI BibTeX RDF
18	Huisheng Gong, Monika Schmidt	A Complexity Measure Based on Selection and Nesting.	SIGMETRICS Perform. Evaluation Rev.	1985	DBLP DOI BibTeX RDF
18	Harvey H. Atkinson, Irene Gargantini, Timothy R. S. Walsh	Counting regions, holes, and their nesting level in time proportional to the border.	Comput. Vis. Graph. Image Process.	1985	DBLP DOI BibTeX RDF
18	Allan Borodin, Ronald Fagin, John E. Hopcroft, Martin Tompa	Decreasing the Nesting Depth of Expressions Involving Square Roots.	J. Symb. Comput.	1985	DBLP DOI BibTeX RDF
18	Danny Crookes, C. J. Devlin	An Algorithm for Optimal Procedural Nesting.	Comput. J.	1985	DBLP DOI BibTeX RDF
18	Wiktor J. Kobvlinski	Biceps - The Interactive Graphics Aided System for Bi-dimensional Geometry Yodeling, Nesting and Flame Cutting Technology.	Eurographics	1985	DBLP DOI BibTeX RDF
18	Dov Dori, Moshe Ben-Bassat	Efficient Nesting of Congruent Convex Figures.	Commun. ACM	1984	DBLP DOI BibTeX RDF
18	Harry B. Hunt III, Daniel J. Rosenkrantz	The Complexity of Monadic Recursion Schemes: Executability Problems, Nesting Depth, and Applications.	Theor. Comput. Sci.	1983	DBLP DOI BibTeX RDF
18	Paul Piwowarski	A Nesting Level Complexity Measure.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
18	Warren Harrison, Kenneth I. Magel	A complexity measure based on nesting level.	ACM SIGPLAN Notices	1981	DBLP DOI BibTeX RDF
18	Thomas R. G. Green	If s and Then s: Is Nesting just for the Birds?	Softw. Pract. Exp.	1980	DBLP DOI BibTeX RDF
18	Lori A. Clarke, Jack C. Wileden, Alexander L. Wolf	Nesting in Ada programs is for the birds.	SIGPLAN	1980	DBLP DOI BibTeX RDF
18	Joost Engelfriet, Giora Slutzki	Bounded Nesting in Macro Grammars	Inf. Control.	1979	DBLP DOI BibTeX RDF
18	S. Dvorák, B. Kropác	Decomposition of the Gozinto's Graph with the Use of a Nesting Store.	Comput. J.	1974	DBLP DOI BibTeX RDF
18	David M. Dahm, M. Wells	Algorithm 138: Nesting of for statement II.	Commun. ACM	1962	DBLP DOI BibTeX RDF
18	David M. Dahm, M. Wells	Algorithm 137: Nesting of for statement I.	Commun. ACM	1962	DBLP DOI BibTeX RDF
18	R. H. Allmark, J. R. Lucking	Design of an Arithmetic Unit Incorporating a Nesting Store.	IFIP Congress	1962	DBLP BibTeX RDF
10	Yupeng Fu, Keith Kowalczykowski, Kian Win Ong, Yannis Papakonstantinou, Kevin Keliang Zhao	Ajax-based report pages as incrementally rendered views.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	sql, ajax, view maintenance
10	Christoph Koch 0001	Incremental query evaluation in a ring of databases.	PODS	2010	DBLP DOI BibTeX RDF	algebra, incremental view maintenance
10	Guoqing Xu 0001, Atanas Rountev	Detecting inefficiently-used containers to avoid bloat.	PLDI	2010	DBLP DOI BibTeX RDF	cfl reachability, container bloat, points-to analysis
10	Arun Kejariwal, Milind Girkar, Xinmin Tian, Hideki Saito 0001, Alexandru Nicolau, Alexander V. Veidenbaum, Utpal Banerjee, Constantine D. Polychronopoulos	Exploitation of nested thread-level speculative parallelism on multi-core systems.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	performance, thread-level speculation
10	Marcelo Arenas, Ronald Fagin, Alan Nash	Composition with target constraints.	ICDT	2010	DBLP DOI BibTeX RDF	target constraint, composition, data exchange, schema mapping, metadata management
10	Heiko Haller, Andreas Abecker	iMapping: a zooming user interface approach for personal and semantic knowledge management.	HT	2010	DBLP DOI BibTeX RDF	personal knowledge management, visual knowledge mapping, human- computer interaction, interaction design, spatial hypertext, semantic desktop
10	Min-Jung Bae, Jeong-Hoon Ji, Gyun Woo	Show my code in the web.	HT	2010	DBLP DOI BibTeX RDF	flower of life, web service, visualization, source code, hilbert curve
10	Kunal Agrawal, Charles E. Leiserson, Jim Sukha	Helper locks for fork-join parallel programming.	PPoPP	2010	DBLP DOI BibTeX RDF	dynamic multithreading, helper lock, parallel region, scheduling, work stealing, nested parallelism, cilk
10	Greg Franks, Tariq Omari, C. Murray Woodside, Olivia Das, Salem Derisavi	Enhanced Modeling and Solution of Layered Queueing Networks.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
10	Andrew H. Gleibman	Intelligent Processing of an Unrestricted Text in First Order String Calculus.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF
10	Ralph-Johan Back	Invariant based programming: basic approach and teaching experiences.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
10	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis.	VLDB J.	2009	DBLP DOI BibTeX RDF	QoS, Web services, Composition, Dependability, Failure, Distributed execution, Transaction model
10	Mohamed Saifullah Hussin, Thomas Stützle	Hierarchical Iterated Local Search for the Quadratic Assignment Problem.	Hybrid Metaheuristics	2009	DBLP DOI BibTeX RDF
10	Rajeev Alur	Temporal Reasoning about Program Executions.	FoSSaCS	2009	DBLP DOI BibTeX RDF
10	P. Madhusudan, Mahesh Viswanathan 0001	Query Automata for Nested Words.	MFCS	2009	DBLP DOI BibTeX RDF
10	Jiaqi Zhu, Yu Huang 0004, Hanpin Wang	A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
10	Erich Grädel, Lukasz Kaiser, Roman Rabinovich 0001	Directed Graphs of Entanglement Two.	FCT	2009	DBLP DOI BibTeX RDF
10	Jin Ho Kim, Choong Seon Hong	A Scheme for Supporting Optimal Path in 6LoWPAN Based MANEMO Networks.	APNOMS	2009	DBLP DOI BibTeX RDF	MANEMO, NEMO, 6LoWPAN
10	Henrik Björklund, Wouter Gelade, Marcel Marquardt, Wim Martens	Incremental XPath evaluation.	ICDT	2009	DBLP DOI BibTeX RDF
10	Christel Baier, Tobias Blechmann 0001, Joachim Klein 0001, Sascha Klüppelholz	A Uniform Framework for Modeling and Verifying Components and Connectors.	COORDINATION	2009	DBLP DOI BibTeX RDF
10	James Walden, Maureen Doyle, Grant A. Welch, Michael Whelan	Security of open source web applications.	ESEM	2009	DBLP DOI BibTeX RDF
10	Zengchang Qin, Marcus Thint, Zhiheng Huang	Ranking Answers by Hierarchical Topic Models.	IEA/AIE	2009	DBLP DOI BibTeX RDF
10	A. Prasanna Jagadeesan, A. Lynn, Jonathan R. Corney, Xiu-Tian Yan 0001, Jan Wenzel, Andrew Sherlock, William C. Regli	Geometric reasoning via internet CrowdSourcing.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	2D strip packing, 3D similarity, canonical view, mTurk, micro-outsourcing, crowdsourcing, geometric reasoning
10	Steve Battle, Helen Balinsky	Modelling composite document behaviour with concurrent hierarchical state machines.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	composite documents, document-centric process, finite state machines
10	Joachim Schenk, Moritz Kaiser, Gerhard Rigoll	Selecting Features in On-Line Handwritten Whiteboard Note Recognition: SFS or SFFS?	ICDAR	2009	DBLP DOI BibTeX RDF
10	Eckart Mayer, Utz-Uwe Haus, Jörg Raisch, Robert Weismantel	Throughput-Optimal Sequences for Cyclically Operated Plants.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Integer programming, Cyclic scheduling, High throughput screening
10	Yong Sun, Momin Uppal, Angelos D. Liveris, Samuel Cheng 0001, Vladimir Stankovic 0001, Zixiang Xiong	Nested turbo codes for the Costa problem.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
10	Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek	Matchete: Paths through the Pattern Matching Jungle.	PADL	2008	DBLP DOI BibTeX RDF	binary data formats, Java, Pattern matching, XPath, regular expressions
10	Ruoheng Liu, H. Vincent Poor, Predrag Spasojevic, Yingbin Liang	Nested codes for secure transmission.	PIMRC	2008	DBLP DOI BibTeX RDF
10	Andrew Fish, Jean Flower	Euler Diagram Decomposition.	Diagrams	2008	DBLP DOI BibTeX RDF
10	Bilel Gueni, Talel Abdessalem, Bogdan Cautis, Emmanuel Waller	Pruning nested XQuery queries.	CIKM	2008	DBLP DOI BibTeX RDF	xquery, xml, query rewriting
10	Denis Caromel, Ludovic Henrio, Mario Leyton	Type Safe Algorithmic Skeletons.	PDP	2008	DBLP DOI BibTeX RDF	Type systems, algorithmic skeletons
10	Jorge Pérez 0001, Marcelo Arenas, Claudio Gutierrez 0001	nSPARQL: A Navigational Language for RDF.	ISWC	2008	DBLP DOI BibTeX RDF
10	Emma Nilsson-Nyman, Torbjörn Ekman 0001, Görel Hedin	Practical Scope Recovery Using Bridge Parsing.	SLE	2008	DBLP DOI BibTeX RDF
10	Ralph Matthes	Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening.	MPC	2008	DBLP DOI BibTeX RDF
10	Dexter Kozen, Wei-Lung Dustin Tseng	The Böhm-Jacopini Theorem Is False, Propositionally.	MPC	2008	DBLP DOI BibTeX RDF
10	David P. Pereira, Ana Cristina Vieira de Melo	A formal architectural model for exception handling coordination.	SAC	2008	DBLP DOI BibTeX RDF	exception handling coordination, CSP, fault-tolerant architecture
10	Vicenç Gómez, Andreas Kaltenbrunner, Vicente López 0002	Statistical analysis of the social network and discussion threads in slashdot.	WWW	2008	DBLP DOI BibTeX RDF	log-normal, radial tree, social networks, online communities, thread, power-law, weblogs, bulletin board, h-index
10	Katherine F. Moore, Dan Grossman	High-level small-step operational semantics for transactions.	POPL	2008	DBLP DOI BibTeX RDF	weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity
10	Gyemin Lee, Clayton Scott	Nested support vector machines.	ICASSP	2008	DBLP DOI BibTeX RDF
10	Hong-Quang Nguyen, J. Wenny Rahayu, David Taniar, Kinh Nguyen	Mediation-Based XML Query Answerability.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF
10	Hua Jiang, Xiang Li	An Improved Algorithm for the Evaluation of Alternating Fixpoint Expressions in the mu-Calculus.	ITNG	2008	DBLP DOI BibTeX RDF	calculation complexity, NP and co-NP problem, Model Checking, mu-Calculus
10	Matthew Fluet, Mike Rainey, John H. Reppy	A scheduling framework for general-purpose parallel languages.	ICFP	2008	DBLP DOI BibTeX RDF	heterogeneous parallel languages, scheduling, compilers, run-time systems
10	Eric J. Pauwels, Paul M. de Zeeuw, Danielle M. Bounantony	Leatherbacks Matching by Automated Image Recognition.	ICDM	2008	DBLP DOI BibTeX RDF
10	Jan Schäfer 0002, Arnd Poetzsch-Heffter	CoBoxes: Unifying Active Objects and Structured Heaps.	FMOODS	2008	DBLP DOI BibTeX RDF
10	Yang Zhao, Ligong Yu, Jia Bei	Assure Parallel Interference Patterns in Multithreaded Programs with Permissions.	CSSE (2)	2008	DBLP DOI BibTeX RDF
10	Dershing Luo, Ching-Cha Hsieh	A Context-Aware Approach Enhancing XML Semantics Integration.	HICSS	2008	DBLP DOI BibTeX RDF	ontology, XML, semantic, context, DAML+OIL
10	Laura Bozzelli	The Complexity of CaRet + Chop.	TIME	2008	DBLP DOI BibTeX RDF
10	Hyun-Joo Moon, Sangheon Kim, Jongbae Moon, Eun-Ser Lee	An Effective Data Processing Method for Fast Clustering.	ICCSA (2)	2008	DBLP DOI BibTeX RDF	Tag Sequences, Ontology, XML, DTD, Similarity Detection
10	Marco Carbone, Kohei Honda 0001, Nobuko Yoshida	Structured Interactional Exceptions in Session Types.	CONCUR	2008	DBLP DOI BibTeX RDF
10	Hong-Quang Nguyen, J. Wenny Rahayu, Kinh Nguyen, David Taniar	XMiner: Mining XML Mediated Schemas.	Web Intelligence	2008	DBLP DOI BibTeX RDF
10	Rachid Guerraoui, Michal Kapalka	On the correctness of transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	model, lower bound, transactional memory, correctness
10	Fabio Gadducci, Giacoma Valentina Monreale	A Decentralized Implementation of Mobile Ambients.	ICGT	2008	DBLP DOI BibTeX RDF
10	Taher Naser, Reda Alhajj, Mick J. Ridley	Flexible approach for representing object oriented databases in XML format.	iiWAS	2008	DBLP DOI BibTeX RDF
10	Joost-Pieter Katoen, Alexandru Mereacre	Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains.	FORMATS	2008	DBLP DOI BibTeX RDF
10	Eric Koskinen, Maurice Herlihy	Checkpoints and continuations instead of nested transactions.	SPAA	2008	DBLP DOI BibTeX RDF	parallel programming, concurrency, checkpoints, transactional memory, boosting, continuations
10	Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young	General and efficient locking without blocking.	MSPC	2008	DBLP DOI BibTeX RDF	adaptive locks, hybrid locks, transactional memory, nested transactions
10	Pham Thi Thu Thuy, Young-Koo Lee, Sungyoung Lee, Byeong-Soo Jeong	Exploiting XML Schema for Interpreting XML Documents as RDF.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Semantic Web, RDF, XML Schema, XML Data
10	Maria Grazia Scutellà	A note on the parametric maximum flow problem and some related reoptimization issues.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Parametric arc capacity, Maximum flow
10	Millist W. Vincent, Jixue Liu, Mukesh K. Mohania	On the equivalence between FDs in XML and FDs in relations.	Acta Informatica	2007	DBLP DOI BibTeX RDF
10	Ronald F. DeMara, Yili Tseng, Abdel Ejnioui	Tiered Algorithm for Distributed Process Quiescence and Termination Detection.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Parallel Processing, Synchronization, Distributed Programming, Multitasking, Distributed Architectures
10	Dimitris G. Stavrakoudis, John B. Theocharis	Pipelined Recurrent Fuzzy Neural Networks for Nonlinear Adaptive Speech Prediction.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
10	Yong Sun, Momin Uppal, Angelos D. Liveris, Samuel Cheng 0001, Vladimir Stankovic 0001, Zixiang Xiong	Nested Turbo Codes for the Costa Problem.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
10	Zeng-Guang Hou, Madan M. Gupta, Peter N. Nikiforuk, Min Tan 0001, Long Cheng 0001	A Recurrent Neural Network for Hierarchical Control of Interconnected Dynamic Systems.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
10	Toshiyuki Shimizu, Masatoshi Yoshikawa	A Ranking Scheme for XML Information Retrieval Based on Benefit and Reading Effort.	ICADL	2007	DBLP DOI BibTeX RDF
10	Luke Yen, Jayaram Bobba, Michael R. Marty, Kevin E. Moore, Haris Volos 0001, Mark D. Hill, Michael M. Swift, David A. Wood 0001	LogTM-SE: Decoupling Hardware Transactional Memory from Caches.	HPCA	2007	DBLP DOI BibTeX RDF
10	Guillaume Fertin, Danny Hermelin, Romeo Rizzi, Stéphane Vialette	Common Structured Patterns in Linear Graphs: Approximation and Combinatorics.	CPM	2007	DBLP DOI BibTeX RDF
10	Guy Eddon, Maurice Herlihy	Language Support and Compiler Optimizations for STM and Transactional Boosting.	ICDCIT	2007	DBLP DOI BibTeX RDF
10	Charu C. Aggarwal, Philip S. Yu	On string classification in data streams.	KDD	2007	DBLP DOI BibTeX RDF	classification, hidden markov models, string
10	Aaron Block, Hennadiy Leontyev, Björn B. Brandenburg, James H. Anderson	A Flexible Real-Time Locking Protocol for Multiprocessors.	RTCSA	2007	DBLP DOI BibTeX RDF
10	Tao Wei, Jian Mao, Wei Zou, Yu Chen	A New Algorithm for Identifying Loops in Decompilation.	SAS	2007	DBLP DOI BibTeX RDF	Loop identifying, Unstructuredness coefficient, Control flow analysis, Decompilation
10	Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi	Automated Verification of Security Policies in Mobile Code.	IFM	2007	DBLP DOI BibTeX RDF
10	Lucja Kot, Walker M. White	Characterization of the Interaction of XML Functional Dependencies with DTDs.	ICDT	2007	DBLP DOI BibTeX RDF
10	Tomás Bures, Petr Hnetynka, Frantisek Plásil, Jan Klesnil, Ondrej Kmoch, Tomas Kohan, Pavel Kotrc	Runtime Support for Advanced Component Concepts.	SERA	2007	DBLP DOI BibTeX RDF