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 |
|