|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1898 occurrences of 1118 keywords
|
|
|
Results
Found 4055 publication records. Showing 4055 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Hans Bruun, Dion Coumans, Mai Gehrke |
Distributive Lattice-Structured Ontologies. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Po-Chiang Lin, Tsungnan Lin, Chiapin Wang |
Performance analysis of a cross-layer handoff ordering scheme in wireless networks. |
IEEE Trans. Wirel. Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
12 | T. S. Raghu 0001, Wonseok Woo, S. B. Mohan, H. Raghav Rao |
Market reaction to patent infringement litigations in the information technology industry. |
Inf. Syst. Frontiers |
2008 |
DBLP DOI BibTeX RDF |
Litigations, IT innovations, Intellectual property, Patents, Event study |
12 | Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella |
A Compositional Semantics for CHR with Propagation Rules. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Podelski, Andrey Rybalchenko, Thomas Wies |
Heap Assumptions on Demand. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Naoki Kobayashi 0001, Davide Sangiorgi |
A Hybrid Type System for Lock-Freedom of Mobile Processes. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Closing the stage: from staged code to typed closures. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism |
12 | 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 |
|
12 | Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis |
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Yan Zhang 0002 |
Dynamic Spectrum Access in Cognitive Radio Wireless Networks. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Model Checking Recursive Programs with Exact Predicate Abstraction. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang |
Ranking Abstractions. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Xinyang Zhang 0003, Anna Charny |
Performance Evaluation of Pre-Congestion Notification. |
IWQoS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Alin Deutsch, Alan Nash, Jeffrey B. Remmel |
The chase revisited. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
chase |
12 | Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti |
Sessions and Pipelines for Structured Service Programming. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | René Thiemann, Jürgen Giesl, Peter Schneider-Kamp |
Deciding Innermost Loops. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Georg Moser, Andreas Schnabl |
Proving Quadratic Derivational Complexities Using Context Dependent Interpretations. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Hartmut Ehrig, Ulrike Prange |
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla |
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
12 | José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina |
A Formally Verified Prover for the ALC Description Logic. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Ranko Lazic 0001, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe 0001, James Worrell 0001 |
Nets with Tokens Which Carry Data. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
12 | George G. Mitchell, Barry McMullin, James Decraene |
A cost benefit operator for efficient multi level genetic algorithm searches. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Adam Koprowski, Aart Middeldorp |
Predictive Labeling with Dependency Pairs Using SAT. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Min Dai, Ya-Lou Huang |
Data Mining Used in Rule Design for Active Database Systems. |
FSKD (4) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Gérard Boudol |
Fair Cooperative Multithreading. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Elchanan Mossel, Sébastien Roch |
On the submodularity of influence in social networks. |
STOC |
2007 |
DBLP DOI BibTeX RDF |
social networks, coupling, viral marketing, submodularity |
12 | Marius Bozga, Radu Iosif |
On Flat Programs with Lists. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Jirí Vokrínek, Jirí Bíba, Jirí Hodík, Jaromír Vybíhal, Michal Pechoucek |
Competitive Contract Net Protocol. |
SOFSEM (1) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Vincent Danjean, Roland Gillard, Serge Guelton, Jean-Louis Roch, Thomas Roche |
Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
parallel STL, workstealing, grid computation, symmetric cryptography, adaptive parallelism |
12 | Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi |
Byzantine disk paxos: optimal resilience with byzantine shared memory. |
Distributed Comput. |
2006 |
DBLP DOI BibTeX RDF |
T-tolerant object implementations, Lower bounds, Consensus, Byzantine failures, Wait freedom, Shared-memory emulations |
12 | Alejandro Russo, Andrei Sabelfeld |
Security for Multithreaded Programs Under Cooperative Scheduling. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar |
Programs with Lists Are Counter Automata. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Richard L. Graham |
Approaches for Parallel Applications Fault Tolerance. |
PVM/MPI |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Sunil Soman, Laurent Daynès, Chandra Krintz |
Task-aware garbage collection in a multi-tasking virtual machine. |
ISMM |
2006 |
DBLP DOI BibTeX RDF |
resource reclamation, task-aware garbage collection, java, virtual machine, multi-tasking |
12 | Moa Johansson, Alan Bundy, Lucas Dixon |
Best-First Rippling. |
Reasoning, Action and Interaction in AI Theories and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Maria-Cecilia Rivara |
A Study on Delaunay Terminal Edge Method. |
IMR |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Alexey Loginov, Thomas W. Reps, Mooly Sagiv |
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera 0001 |
Reachability in Recursive Markov Decision Processes. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Damien Pous |
Weak Bisimulation Up to Elaboration. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Jean-Pierre Jouannaud, Albert Rubio |
Higher-Order Orderings for Normal Rewriting. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Raipin Parvédy, Michel Raynal, Corentin Travers |
Strongly Terminating Early-Stopping k-Set Agreement in Synchronous Systems with General Omission Failures. |
SIROCCO |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Mohammad Awedh, Fabio Somenzi |
Automatic invariant strengthening to prove properties in bounded model checking. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
SAT, bounded model checking |
12 | Libing Wu, Chanle Wu, Jianqun Cui, Huyin Zhang, Gang Ye |
An Overtime-Tolerance Strategy for Advance Reservation. |
PDCAT |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Hui-Nien Hung, Pei-Chun Lee, Yi-Bing Lin, Nan-Fu Peng |
Modeling channel assignment of small-scale cellular networks. |
IEEE Trans. Wirel. Commun. |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Shun-Ping Chung, Jin-Chang Lee |
Performance analysis and overflowed traffic characterization in multiservice hierarchical wireless networks. |
IEEE Trans. Wirel. Commun. |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Seok-Jun Lee, Naresh R. Shanbhag, Andrew C. Singer |
Energy Efficient VLSI Architecture for Linear Turbo Equalizer. |
J. VLSI Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
iterative equalizer, SISO, turbo, architecture, low-power, iterative decoder |
12 | Panagiotis Manolios, Daron Vroon 0001 |
Ordinal Arithmetic: Algorithms and Mechanization. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
automated reasoning, arithmetic, ACL2, ordinal |
12 | Thomas Stibor, Jonathan Timmis, Claudia Eckert 0001 |
A Comparative Study of Real-Valued Negative Selection to Statistical Anomaly Detection Techniques. |
ICARIS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík |
Demand-driven points-to analysis for Java. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
refinement, points-to analysis, demand-driven analysis, context-free language reachability |
12 | Ana Bove, Venanzio Capretta |
Recursive Functions with Higher Order Domains. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Kousha Etessami, Mihalis Yannakakis |
Recursive Markov Decision Processes and Recursive Stochastic Games. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Jos C. M. Baeten, Mohammad Reza Mousavi 0001, Michel A. Reniers |
Timing the Untimed: Terminating Successfully While Being Conservative. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Xiao Liu, Abraham O. Fapojuwo |
Resource management for handoff traffic in hierarchical cellular networks. |
IPCCC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove |
Derivation and Evaluation of Concurrent Collectors. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Frank Lammermann, Stefan Wappler |
Benefits of software measures for evolutionary white-box testing. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
metric, software measurement, evolutionary testing, automated test case generation |
12 | Tetsuya Izu, Noboru Kunihiro, Kazuo Ohta, Takeshi Shimoyama |
Analysis on the Clockwise Transposition Routing for Dedicated Factoring Devices. |
WISA |
2005 |
DBLP DOI BibTeX RDF |
clockwise transposition, routing, Integer factoring |
12 | David M. Horan, Richard A. Guinee |
A Novel Pulse Echo Correlation Tool for Transmission Path Testing and Fault Finding using Pseudorandom Binary Sequences. |
DFT |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Adam Koprowski, Hans Zantema |
Proving Liveness with Fairness Using Rewriting. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Carlos Areces, Daniel Gorín |
Ordered Resolution with Selection for H(@). |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Lutz Schröder, Till Mossakowski |
Generic Exception Handling and the Java Monad. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Martin Zimmermann 0001 |
Distributed Multimedia Networking Services: Dynamic Configuration and Change Management. |
ECUMN |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Burcin Bostan-Korpeoglu, Adnan Yazici |
Using Fuzzy Petri Nets for Static Analysis of Rule-Bases. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Guillem Godoy, Ashish Tiwari 0001 |
Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Walid Gaaloul, Sami Bhiri, Claude Godart |
Discovering Workflow Transactional Behavior from Event-Based Log. |
CoopIS/DOA/ODBASE (1) |
2004 |
DBLP DOI BibTeX RDF |
Enterprize knowledge discovery, Business intelligence, knowledge modelling, Workflow mining, transactional Workflows |
12 | Lijuan Zhu, Bu-Sung Lee, Boon-Chong Seet, Kai Juan Wong, Genping Liu, Shell-Ying Huang, Keok-Kee Lee |
Performance of New Broadcast Forwarding Criteria in MANET. |
ICOIN |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Nao Hirokawa, Aart Middeldorp |
Dependency Pairs Revisited. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Podelski, Andrey Rybalchenko |
A Complete Method for the Synthesis of Linear Ranking Functions. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec |
A Functional Scenario for Bytecode Verification of Resource Bounds. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Gerald Esch Jr., Tom Chen 0001 |
Design of CMOS IO Drivers with Less Sensitivity to Process, Voltage, and Temperature Variations. |
DELTA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen |
Fully Automatic Binding-Time Analysis for Prolog. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
12 | István Maros |
A General Pricing Scheme for the Simplex Method. |
Ann. Oper. Res. |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Boris Dahav, Opher Etzion |
Distributed Enforcement of Integrity Constraints. |
Distributed Parallel Databases |
2003 |
DBLP DOI BibTeX RDF |
database exception handling, self-stabilization in databases, distributed rules systems, distributed databases |
12 | Berndt Farwer, Kundan Misra |
Dynamic Modification of System Structures Using LLPNs. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina |
A Formal Proof of Dickson's Lemma in ACL2. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Barbara Morawska 0001 |
Completeness of E-Unification with Eager Variable Elimination. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
Replication vs. Recursive Definitions in Channel Based Calculi. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Boris Aronov, Hervé Brönnimann, Allen Y. Chang, Yi-Jen Chiang |
Cost-driven octree construction schemes: an experimental study. |
SCG |
2003 |
DBLP DOI BibTeX RDF |
average performance, space decomposition, cost model, octree, ray shooting, cost prediction |
12 | Rizwan Bashirullah, Wentai Liu, Ralph K. Cavin III |
Accurate delay model and experimental verification for current/voltage mode on-chip interconnects. |
ISCAS (5) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Georg Moser, Andreas Weiermann |
Relating Derivation Lengths with the Slow-Growing Hierarchy Directly. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Jean-François Hermant, Gérard Le Lann |
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
Asynchronous computational models, partially synchronous computational models, uniform consensus, real-time distributed fault-tolerant computing, safety, coverage, schedulability analysis, liveness, timeliness, unreliable failure detectors |
12 | Toshiyasu Arai |
Epsilon substitution method for theories of jump hierarchies. |
Arch. Math. Log. |
2002 |
DBLP DOI BibTeX RDF |
|
12 | María Alpuente, Santiago Escobar 0001, Bernhard Gramlich, Salvador Lucas |
Improving On-Demand Strategy Annotations. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ |
12 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
Transformation Systems and Nondeclarative Properties. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Matthew C. Lowry, David S. Munro |
Safe and Complete Distributed Garbage Collection with The Train Algorithm. |
ICPADS |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Chun Ouyang 0001, Lars Michael Kristensen, Jonathan Billington |
A Formal and Executable Specification of the Internet Open Trading Protocol. |
EC-Web |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Rickard Cöster, Martin Svensson |
Inverted file search algorithms for collaborative filtering. |
SIGIR |
2002 |
DBLP DOI BibTeX RDF |
performance, collaborative filtering, inverted files |
12 | Rob J. van Glabbeek, Ursula Goltz |
Refinement of actions and equivalence notions for concurrent systems. |
Acta Informatica |
2001 |
DBLP DOI BibTeX RDF |
|
12 | António Luís Pinto Ferreira de Sousa, Rui Oliveira 0001, Francisco Moura, Fernando Pedone |
Partial Replication in the Database State Machine. |
NCA |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Cristina Borralleras, Albert Rubio |
A Monotonic Higher-Order Semantic Path Ordering. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Wim Vanhoof, Maurice Bruynooghe |
Binding-Time Annotations Without Binding-Time Analysis. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Wlodzimierz Drabent, Miroslawa Milkowska |
Proving Correctness and Completeness of Normal Programs - A Declarative Approach. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Michael Colón, Henny Sipma |
Synthesis of Linear Ranking Functions. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Anjum Ali, J. K. Aggarwal |
Segmentation and Recognition of Continuous Human Activity. |
IEEE Workshop on Detection and Recognition of Events in Video |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Jürgen Giesl, Deepak Kapur |
Dependency Pairs for Equational Rewriting. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Hongjing Wu, Paul De Bra |
Sufficient Conditions for Well-Behaved Adaptive Hypermedia Systems. |
Web Intelligence |
2001 |
DBLP DOI BibTeX RDF |
user modeling, adaptive hypermedia, production rules |
12 | Yosi Ben-Asher, Esti Stein |
Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs. |
J. Supercomput. |
2000 |
DBLP DOI BibTeX RDF |
fairness, transformations, shared memory, sequentialize, execution sequence |
12 | Aart Middeldorp, Hitoshi Ohsaki |
Type Introduction for Equational Rewriting. |
Acta Informatica |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Phil Koopman, John DeVale |
The Exception Handling Effectiveness of POSIX Operating Systems. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Ballista, multiversion comparison, testing, robustness, operating systems, Exception handling, POSIX |
12 | John P. Gallagher, Julio C. Peralta |
Using Regular Approximations for Generalisation During Partial Evalution. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Andrew M. Pitts |
Operational Semantics and Program Equivalence. |
APPSEM |
2000 |
DBLP DOI BibTeX RDF |
|
|
|