Search results for "Nesting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Pedro Cabalar, David Lorenzo	Logic Programs with Functions and Default Values.	JELIA	2004	DBLP DOI BibTeX RDF
10	Cristina Adela Popescu, Yau Shu Wong	Monte Carlo Approach for Switching State-Space Models.	IEA/AIE	2004	DBLP DOI BibTeX RDF
10	Mikolaj Bojanczyk	A Bounding Quantifier.	CSL	2004	DBLP DOI BibTeX RDF
10	Michael Forster, Christian Bachmaier	Clustered Level Planarity.	SOFSEM	2004	DBLP DOI BibTeX RDF
10	Laura Bocchi	Compositional Nested Long Running Transactions.	FASE	2004	DBLP DOI BibTeX RDF
10	Arjan Kuijper, Luc Florack	The hierarchical structure of images.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
10	Angelo Corsaro, Ron Cytron	Efficient memory-reference checks for real-time java.	LCTES	2003	DBLP DOI BibTeX RDF	scoped memory, garbage collection, memory management, object oriented languages, real-time java
10	Gill Barequet, Michael T. Goodrich, Aya Levi-Steiner, Dvir Steiner	Straight-skeleton based contour interpolation.	SODA	2003	DBLP BibTeX RDF	Piecewise-linear interpolation, surface reconstruction
10	Carlo Sartiani	Evaluating Nested Queries on XML Data.	IDEAS	2003	DBLP DOI BibTeX RDF
10	Ole Høgh Jensen, Robin Milner	Bigraphs and transitions.	POPL	2003	DBLP DOI BibTeX RDF	bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity
10	Jan Johannsen, Martin Lange	CTL+ Is Complete for Double Exponential Time.	ICALP	2003	DBLP DOI BibTeX RDF
10	Jia Zhang 0001, Carl K. Chang, Jen-Yao Chung	Mediating Electronic Meetings.	COMPSAC	2003	DBLP DOI BibTeX RDF
10	Frank Drewes, Joost Engelfriet	Branching Grammars: A Generalization of ET0L Systems.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
10	Zhiyuan Li 0001	Optimal Skewed Tiling for Cache Locality Enhancement.	IPDPS	2003	DBLP DOI BibTeX RDF
10	Hyeog Man Kwon, Moon Jeong Kim, Young Ik Eom	A Nested Token-Based Delegation Scheme for Cascaded Delegation in Mobile Agent Environments.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
10	Anne L. Olsen	An Evolutionary Algorithm for the Joint Replenishment of Inventory with Interdependent Ordering Costs.	GECCO	2003	DBLP DOI BibTeX RDF
10	Luis Arévalo Rosado, Antonio Polo Márquez, Miryam Salas Sánchez, Juan Carlos Manzano	Multiple Markups in XML Documents.	ICWE	2003	DBLP DOI BibTeX RDF
10	Arjan Kuijper	On Manifolds in Gaussian Scale Space.	Scale-Space	2003	DBLP DOI BibTeX RDF
10	Byung-Woo Hong, Michael Brady 0001	A Topographic Representation for Mammogram Segmentation.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
10	Falk Huettmann, Julia Linke	Assessment of Different Link Functions for Modeling Binary Data to Derive Sound Inferences and Predictions.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
10	Linda Brodo, Pierpaolo Degano, Corrado Priami	Reflecting Mobile Ambients into the p-Calculus.	Global Computing	2003	DBLP DOI BibTeX RDF
10	Anne Bergeron, Jens Stoye	On the Similarity of Sets of Permutations and Its Applications to Genome Comparison.	COCOON	2003	DBLP DOI BibTeX RDF
10	Christian Panis, Raimund Leitner, Jari Nurmi	Scaleable Shadow Stack for a Configurable DSP Concept.	IWSOC	2003	DBLP DOI BibTeX RDF
10	Michael Schillo, Klaus Fischer 0001	A Taxonomy of Autonomy in Multiagent Organisation.	Agents and Computational Autonomy	2003	DBLP DOI BibTeX RDF
10	Christopher Barton, José Nelson Amaral, Bob Blainey	Should potential loop optimizations influence inlining decisions?	CASCON	2003	DBLP BibTeX RDF
10	Michael F. P. O'Boyle, Elena Stöhr	Compile Time Barrier Synchronization Minimization.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	synchronization reduction, efficient parallelization, barrier minimization, graph algorithms, Compiler optimization
10	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time temporal logic.	J. ACM	2002	DBLP DOI BibTeX RDF	temporaxl logic, model checking, games, Alternation
10	James J. Leifer, Robin Milner	Shallow Linear Action Graphs and their Embeddings.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Action calculus, Graph embedding, Process calculus
10	Sebastian Unger, Frank Mueller 0001	Handling irreducible loops: optimized node splitting versus DJ-graphs.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	irreducible flowgraphs, reducible flowgraphs, compilation, instruction-level parallelism, Code optimization, loops, control flow graphs, node splitting
10	J. H. ter Bekke, J. A. Bakker	Recursive Queries in Product Databases.	FQAS	2002	DBLP DOI BibTeX RDF
10	Keum-Sook Ha, Eun-Kyung Ryu, Kee-Young Yoo	Space-Efficient First Race Detection in Shared Memory Programs with Nested Parallelism.	PARA	2002	DBLP DOI BibTeX RDF
10	Stephan Kreutzer	Expressive Equivalence of Least and Inflationary Fixed-Point Logic.	LICS	2002	DBLP DOI BibTeX RDF
10	Alan M. Mainwaring, David E. Culler, Joseph Polastre, Robert Szewczyk, John Anderson	Wireless sensor networks for habitat monitoring.	WSNA	2002	DBLP DOI BibTeX RDF	habitat monitoring, sensor network architecture, wireless sensor networks, environmental monitoring, low power systems
10	Bernhard Thalheim	Component Construction of Database Schemes.	ER	2002	DBLP DOI BibTeX RDF
10	João M. P. Cardoso, Markus Weinhardt	XPP-VC: A C Compiler with Temporal Partitioning for the PACT-XPP Architecture.	FPL	2002	DBLP DOI BibTeX RDF
10	Olaf Maennel, Anja Feldmann	Realistic BGP traffic for test labs.	SIGCOMM	2002	DBLP DOI BibTeX RDF	BGP, workload
10	Yannis Papakonstantinou, Michalis Petropoulos, Vasilis Vassalos	QURSED: querying and reporting semistructured data.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF	XML
10	Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky	Auction System Design Using Open Multithreaded Transactions.	WORDS	2002	DBLP DOI BibTeX RDF	Fault Tolerance, Concurrency, Distribution, Transactions, Auctions, Exceptions
10	Bertram Ludäscher, Ilkay Altintas, Amarnath Gupta	Time to Leave the Trees: From Syntactic to Conceptual Querying of XML.	EDBT Workshops	2002	DBLP DOI BibTeX RDF
10	T. John Brown, Ivor T. A. Spence, Peter Kilpatrick, Danny Crookes	Adaptable Components for Software Product Line Engineering.	SPLC	2002	DBLP DOI BibTeX RDF
10	Robin Milner	Bigraphs as a Model for Mobile Interaction.	ICGT	2002	DBLP DOI BibTeX RDF
10	James E. Hanson, Prabir Nandi, Santhosh Kumaran	Conversation Support for Business Process Integration.	EDOC	2002	DBLP DOI BibTeX RDF
10	Rajeev Alur, Mihalis Yannakakis	Model checking of hierarchical state machines.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	model checking, temporal logic, statecharts, Hierarchical state machines
10	Huimin Lin	Model Checking Value-Passing Processes.	APSEC	2001	DBLP DOI BibTeX RDF	value- passing processes, verification algorithms, Model checking, mu-calculus
10	Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu	Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.	HSCC	2001	DBLP DOI BibTeX RDF
10	Ira D. Baxter, Michael Mehlich	Preprocessor Conditional Removal by Simple Partial Evaluation.	WCRE	2001	DBLP DOI BibTeX RDF	program transformations, Partial evaluation, symbolic computation, preprocessor
10	Klaus-Dieter Schewe	Querying Web Information Systems.	ER	2001	DBLP DOI BibTeX RDF	web-based system, query algebra, media object
10	Nicolas Bruno, Surajit Chaudhuri, Luis Gravano	STHoles: A Multidimensional Workload-Aware Histogram.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
10	L. Ruby Leung, John Michalakes, Xindi Bian	Parallelization of a Subgrid Orographic Precipitation Scheme in an MM5-Based Regional Climate Model.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
10	Pierfrancesco Bellini, Paolo Nesi	TILCO-X, an Extension of TILCO Temporal Logic.	ICECCS	2001	DBLP DOI BibTeX RDF	real-time systems, first order logic, verification and validation, formal specification language, temporal operators, temporal interval logic
10	Christoph W. Keßler	NestStep: Nested Parallelism and Virtual Shared Memory for the BSP Model.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	BSP model of parallel computation, message combining, parallel Java extension, nested parallelism, virtual shared memory, distributed arrays
10	Danilo P. Mandic, Jonathon A. Chambers	Advanced RNN Based NARMA Predictors.	J. VLSI Signal Process.	2000	DBLP DOI BibTeX RDF
10	Arnold Beckmann, Andreas Weiermann	Characterizing the elementary recursive functions by a fragment of Gödel's T.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
10	Kian-Lee Tan, Cheng Hian Goh, Beng Chin Ooi	Progressive evaluation of nested aggregate queries.	VLDB J.	2000	DBLP DOI BibTeX RDF	Nested aggregate queries, Approximate answers, Progressive query processing, Multi-threading, Online aggregation
10	Yannis Smaragdakis, Don S. Batory	Mixin-Based Programming in C++.	GCSE	2000	DBLP DOI BibTeX RDF
10	Xiao Renguo, Tharam S. Dillon, J. Wenny Rahayu, Elizabeth Chang 0001, Narasimhaiah Gorla	An Indexing Structure for Aggregation Relationship in OODB.	DEXA	2000	DBLP DOI BibTeX RDF
10	Reda Alhajj	Deciding on the Equivalence of a Relational Schema and and Object-Oriented Schema.	DEXA	2000	DBLP DOI BibTeX RDF
10	Anjaneya R. Chagam, Partha Dasgupta, Rajkumar Khandelwal, Shashi P. Reddy, Shantanu Sardesai	Experiments with the CHIME Parallel Processing System.	HiPC	2000	DBLP DOI BibTeX RDF
10	Maurizio Pizzonia, Roberto Tamassia	Minimum Depth Graph Embedding.	ESA	2000	DBLP DOI BibTeX RDF
10	Qing Yi, Vikram S. Adve, Ken Kennedy	Transforming loops to recursion for multi-level memory hierarchies.	PLDI	2000	DBLP DOI BibTeX RDF
10	Egon Börger, Alessandra Cavarra, Elvinia Riccobene	Modeling the Dynamics of UML State Machines.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
10	Pedro V. Sander, Xianfeng Gu, Steven J. Gortler, Hugues Hoppe, John M. Snyder	Silhouette clipping.	SIGGRAPH	2000	DBLP DOI BibTeX RDF	triangle decimation, texture mapping, level of detail algorithms, rendering algorithms
10	H. Imhof	Logics that define their own semantics.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
10	Chaitanya K. Baru, Amarnath Gupta, Bertram Ludäscher, Richard Marciano, Yannis Papakonstantinou, Pavel E. Velikhov, Vincent Chu	XML-Based Information Mediation with MIX.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF	XML
10	Christof Monz	Contextual Inference in Computational Semantics.	CONTEXT	1999	DBLP DOI BibTeX RDF
10	Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer	The Descriptive Complexity Approach to LOGCFL.	STACS	1999	DBLP DOI BibTeX RDF
10	Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen	Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.	TACAS	1999	DBLP DOI BibTeX RDF
10	Pradip K. Jha, Steven Barnfield, John B. Weaver, Rudra Mukherjee, Reinaldo A. Bergamaschi	Synthesis of Arrays and Records.	ICCD	1999	DBLP DOI BibTeX RDF	Aggregate data types, Synthesis, Array, Record
10	Eduard Ayguadé, Xavier Martorell, Jesús Labarta, Marc González 0001, Nacho Navarro	Exploiting Multiple Levels of Parallelism in OpenMP: A Case Study.	ICPP	1999	DBLP DOI BibTeX RDF	Multiple levels of parallelism, Parallel programming, OpenMP, User-level threads
10	Helmut Seidl, Andreas Neumann 0001	On Guarding Nested Fixpoints.	CSL	1999	DBLP DOI BibTeX RDF
10	Sherif M. Yacoub, Bojan Cukic, Hany H. Ammar	A Component-based Approach to Reliability Analysis of Distributed Systems.	SRDS	1999	DBLP DOI BibTeX RDF	Component-Dependency Graphs and Scenario-based Reliability Analysis, Reliability Analysis
10	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the \pi-Calculus.	Acta Informatica	1998	DBLP DOI BibTeX RDF
10	Igor Walukiewicz	Difficult Configurations - On the Complexity of LTrL.	ICALP	1998	DBLP DOI BibTeX RDF
10	Rajeev Alur, Mihalis Yannakakis	Model Checking of Hierarchical State Machines.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF
10	Abdullah Uz Tansel, Erkan Tin	Expressive Power of Temporal Relational Query Languages and Temporal Completeness.	Temporal Databases, Dagstuhl	1997	DBLP DOI BibTeX RDF
10	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time Temporal Logic.	FOCS	1997	DBLP DOI BibTeX RDF
10	Timothy Griffin, Richard Hull 0001	A Framework for Implementing Hypothetical Queries.	SIGMOD Conference	1997	DBLP DOI BibTeX RDF
10	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-Time Temporal Logic.	COMPOS	1997	DBLP DOI BibTeX RDF
10	Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings	On Programming Atomic Actions in Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF
10	Mauricio J. V. Silva, C. Robert Carlson	Conceptual Design of Active Object-Oriented Database Applications Using Multi-level Diagrams.	ECOOP	1996	DBLP DOI BibTeX RDF
10	Heribert Schütz, Tim Geisler	Efficient Model Generation through Compilation.	CADE	1996	DBLP DOI BibTeX RDF
10	Bikash Chandra Ghosh, Vilas Wuwongse	Computational Situation Theory in the Conceptual Graph Language.	ICCS	1996	DBLP DOI BibTeX RDF
10	Jyh-Herng Chow, Leonard E. Lyon, Vivek Sarkar	Automatic parallelization for symmetric shared-memory multiprocessors.	CASCON	1996	DBLP BibTeX RDF
10	Henrik Reif Andersen, Bart Vergauwen	Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion.	CAV	1995	DBLP DOI BibTeX RDF
10	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the Pi-Calculus.	STACS	1995	DBLP DOI BibTeX RDF
10	Serge Abiteboul, Gerd G. Hillebrand	Space Usage in Functional Query Languages.	ICDT	1995	DBLP DOI BibTeX RDF
10	Wim Codenie, Koen D'Hont, Theo D'Hondt, Patrick Steyaert	Agora: Message Passing as a Foundation for Exploring OO Language Concepts.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
10	Mahadev Satyanarayanan, Henry H. Mashburn, Puneet Kumar 0001, David C. Steere, James J. Kistler	Lightweight Recoverable Virtual Memory.	ACM Trans. Comput. Syst.	1994	DBLP DOI BibTeX RDF	Camelot, RVM, scalability, throughput, Unix, persistence, paging, logging, truncation, Coda
10	Alexandra Poulovassilis, Mark Levene	A Nested-Graph Model for the Representation and Manipulation of Complex Objects.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	nested graph, object store, rule-based query and update language, types, complex object
10	David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero	An Improved Algorithm for the Evaluation of Fixpoint Expressions.	CAV	1994	DBLP DOI BibTeX RDF
10	Atanas Radenski	Is Oberon as Simple as Possible? A Smaller Object-Oriented Language Based on the Concept of Module Type.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
10	Gill Barequet, Micha Sharir	Piecewise-Linear Interpolation Between Polygonal Slices.	SCG	1994	DBLP DOI BibTeX RDF	branching surfaces, slice interpolation, dynamic programming, surface reconstruction, triangulation, tiling, surface fitting, polyhedra, curve matching, geometric hashing
10	Mahadev Satyanarayanan, Henry H. Mashburn, Puneet Kumar 0001, David C. Steere, James J. Kistler	Lightweight Recoverable Virtual Memory.	SOSP	1993	DBLP DOI BibTeX RDF	UNIX
10	Raymonde Guindon	Requirements and design of DesignVision and object-oriented graphical interface to an intelligent software design assistant.	CHI	1992	DBLP DOI BibTeX RDF	models of user, design methodology, design process, design tools
10	Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty	An Automata-Theoretic Decision Procedure for Future Interval Logic.	FSTTCS	1992	DBLP DOI BibTeX RDF
10	Divyakant Agrawal, Amr El Abbadi	A Non-Restrictive Concurrency Control for Object Oriented Databases.	EDBT	1992	DBLP DOI BibTeX RDF
10	Dexter P. Bradshaw	Open nested serializability in multidatabase systems.	CASCON	1992	DBLP BibTeX RDF
10	Michael E. Wolf, Monica S. Lam	A Loop Transformation Theory and an Algorithm to Maximize Parallelism.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	loop transformation theory, general loops, dependence vectors, lexicographically positive, compound transformations, coarsest fully permutable loop nests, fully permutable nests, parallel algorithm, parallel algorithms, parallel programming, heuristics, program compilers, precedence constraints, legality, code transformation, fine-grain parallelism, canonical form, wavefront, coarse grain parallelism, loop iterations, maximum degree
10	Maurice Herlihy	Concurrency and Availability as Dual Properties of Replicated Atomic Data	J. ACM	1990	DBLP DOI BibTeX RDF
10	Alan D. Fekete, Nancy A. Lynch, William E. Weihl	A Serialization Graph Construction for Nested Transactions.	PODS	1990	DBLP DOI BibTeX RDF