|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6405 occurrences of 2962 keywords
|
|
|
Results
Found 12900 publication records. Showing 12900 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | A. Udaya Shankar, Simon S. Lam |
Construction of Network Protocols by Stepwise Refinement. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
distributed systems, Specification, refinement, transport protocols, sliding window protocols |
35 | Eduard Diepstraten, Ruurd Kuiper 0001 |
Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
ghost variables, history and prophecy variables, Temporal logic, simulation relations, refinement mappings, stuttering |
35 | Rob J. van Glabbeek, Ursula Goltz |
Refinement of Actions in Causality Based Models. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
Petri nets, Concurrency, action refinement, event structures |
35 | Simon S. Lam, A. Udaya Shankar |
Refinement and Projection of Relational Specifications. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
distributed systems, protocols, Specification, temporal logic, refinement |
35 | Tobias Nipkow |
Formal Verification of Data Type Refinement - Theory and Practice. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
Verification, Distributed Processes, Refinement, Implementation, Theorem Proving, Abstract Data Types, Data Types |
34 | Alireza Tamaddoni-Nezhad, Stephen H. Muggleton |
A Note on Refinement Operators for IE-Based ILP Systems. |
ILP |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Larissa Meinicke, Ian J. Hayes |
Continuous Action System Refinement. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Zhonghai Lu, Ingo Sander, Axel Jantsch |
Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication. |
DSD |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Javier Rubio-Loyola, Joan Serrat 0001, Marinos Charalambides, Paris Flegkas, George Pavlou |
A Functional Solution for Goal-Ooriented Policy Refinement. |
POLICY |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Claudia Pons |
Heuristics on the Definition of UML Refinement Patterns. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Ingo Sander, Axel Jantsch |
System modeling and transformational design refinement in ForSyDe [formal system design]. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
A Refinement Strategy for Circus. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Concurrency, CSP, Z, Program development |
34 | Hans-Werner Kelbassa |
Optimal Case-Based Refinement of Adaptation Rule Bases for Engineering Design. |
ICCBR |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Panagiotis Manolios |
A Compositional Theory of Refinement for Branching Time. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Sibylle Peuker |
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Michael Ortega-Binderberger, Kaushik Chakrabarti, Sharad Mehrotra |
An Approach to Integrating Query Refinement in SQL. |
EDBT |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Rob J. van Glabbeek, Ursula Goltz |
Refinement of actions and equivalence notions for concurrent systems. |
Acta Informatica |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Yoram Moses |
Issues in the Refinement of Distributed Programs. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Mikhail Nesterenko, Anish Arora |
Stabilization-Preserving Atomicity Refinement. |
DISC |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Shaoying Liu |
Evolution: A More Practical Approach than Refinement for Software Development. |
ICECCS |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Michael R. Donat |
Enhancing cleanroom techniques with refinement calculus. |
CASCON |
1995 |
DBLP BibTeX RDF |
|
34 | Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng |
Existence and Nonexistence of Complete Refinement Operators. |
ECML |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Nenad Stojanovic |
On the Role of Query Refinement in Searching for Information: The Librarian Agent Query Refinement Process. |
WISE |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Xiaohua Kong, Radu Negulescu, Larry Weidong Ying |
Refinement-based formal verification with heterogeneous timing. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Communication refinement, Refinement-based verification, Relative timing, globally asynchronous locally synchronous, Process space |
32 | Richard Banach |
A deidealisation semantics for KAOS. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
tower pattern, refinement, ASM, retrenchment, KAOS |
32 | Kriangsak Damchoom, Michael J. Butler |
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
event decomposition, machine decomposition, Rodin, refinement, file system, flash memory, proof, Event-B |
32 | Klaus-Dieter Schewe, Jane Zhao |
Typed Abstract State Machines for data-intensive applications. |
Knowl. Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Refinement, Data warehouses, Types, Abstract state machines |
32 | Michael Köhler 0001, Heiko Rölke |
Web Service Orchestration with Super-Dual Object Nets. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
super-dual nets, Petri nets, refinement, duality, nets-within-nets |
32 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Formal development of industrial-scale systems in Circus. |
Innov. Syst. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
Concurrency, Object-orientation, Refinement, Program development |
32 | Stefan Hallerstede, Michael J. Butler |
Performance analysis of probabilistic action systems. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Trace refinement, Simulation, Markov decision process |
32 | Peter Lindstrom 0001, Valerio Pascucci |
Terrain Simplification Simplified: A General Framework for View-Dependent Out-of-Core Visualization. |
IEEE Trans. Vis. Comput. Graph. |
2002 |
DBLP DOI BibTeX RDF |
continuous levels of detail, edge bisection, geomorphing, external memory paging, out-of-core algorithms, data layouts, Terrain visualization, surface simplification, error metrics, view-dependent refinement |
32 | Antonio Cau |
Composing and Refining Dense Temporal Logic Specifications. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Temporal logic, Refinement, Compositionality |
31 | Teduh Dirgahayu, Dick A. C. Quartel, Marten van Sinderen |
Interaction refinement in the design of business collaborations. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
collaboration, interaction, refinement, abstraction, conformance |
31 | Luo-Ren Lim, Jon Tong-Seng Quah |
Towards context information refinement for proximity mobile service using quality of context. |
Mobility Conference |
2009 |
DBLP DOI BibTeX RDF |
context information refinement, context, quality of context |
31 | Sumit Gulwani, Sagar Jain, Eric Koskinen |
Control-flow refinement and progress invariants for bound analysis. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
control-flow refinement, progress invariants, formal verification, program verification, termination, bound analysis |
31 | A. K. McIver, Carroll C. Morgan, Carlos Gonzalía |
Proofs and Refutations for Probabilistic Refinement. |
FM |
2008 |
DBLP DOI BibTeX RDF |
quantitative program logic, refinement, constraint solving, counterexamples, Probabilistic systems |
31 | Jan-Georg Smaus, Jörg Hoffmann 0001 |
Relaxation Refinement: A New Method to Generate Heuristic Functions. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
Directed model checking, timed automata, predicate abstraction, abstraction refinement |
31 | Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li |
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. |
FAW |
2007 |
DBLP DOI BibTeX RDF |
value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement |
31 | Frédéric Gervais, Marc Frappier, Régine Laleau |
Refinement of eb3 Process Patterns into B Specifications. |
B |
2007 |
DBLP DOI BibTeX RDF |
data integrity constraints, eb3, process expressions, Information systems, refinement |
31 | Tong Wen, Jimmy Su, Phillip Colella, Katherine A. Yelick, Noel Keen |
An adaptive mesh refinement benchmark for modern parallel programming languages. |
SC |
2007 |
DBLP DOI BibTeX RDF |
performance, scalability, benchmark, programmability, adaptive mesh refinement, parallel programming languages |
31 | David C. Thompson 0001, Philippe P. Pébay |
Embarrassingly parallel mesh refinement by edge subdivision. |
Eng. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Adaptive tetrahedral tessellation, Parallel mesh refinement, Streaming subdivision, Symmetric groups |
31 | Harald Fecher, Mila E. Majster-Cederbaum |
Action Refinement Applied to Late Decisions. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Coarsest congruence, Equivalence, Action refinement, Event structure, True concurrency |
31 | Olga Kouchnarenko, Arnaud Lanoix |
How to Verify and Exploit a Refinement of Component-Based Systems. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
LTL properties, verification, composition, refinement, modules, component-based systems |
31 | Ashot N. Harutyunyan |
Notes on Conditions for Successive Refinement of Information. |
GTIT-C |
2006 |
DBLP DOI BibTeX RDF |
Successive refinement of information (source divisibility), reliability (error exponent), rate-reliability-distortion function, hierarchical (scalable) source coding |
31 | Hui Ma 0001, Klaus-Dieter Schewe, Jane Zhao |
View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
Design, Refinement, Data Warehouse, Types, Abstract State Machines |
31 | Guang-Ping Qin, Jin-Zhao Wu |
Action Refinement for Real-Time Concurrent Processes with Urgency. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
timed event, real-time process algebra, structure, action refinement, urgency |
31 | Krishnakumar Rajagopalan, Peter R. Eiseman |
Automatic nested refinement: a technique for the generation of high quality multi-block structured grids for multi-scale problems using GridPro. |
Eng. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Multi-scale problems, Multi-block grids, Nested refinement, Conformal adaptive hex meshing, GridPro, Fractals, Mesh generation |
31 | Ralph-Johan Back, Viorel Preoteasa |
An algebraic treatment of procedure refinement to support mechanical verification. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Semantics, Refinement, Hoare logic, Recursive procedures, Mechanical verification |
31 | Bernhard Beckert, Steffen Schlager |
Refinement and retrenchment for programming language data types. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Retrenchment refinement, UML/OCL, Java, Formal specification, Software verification, Integer arithmetic |
31 | A. W. Roscoe 0001 |
On the expressive power of CSP refinement. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Refinement, Topology, CSP, Full abstraction |
31 | Sun Meng, Luís Soares Barbosa, Zhang Naixiao |
On Refinement of Software Architectures. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
software architecture, refinement, Software component, coalgebra |
31 | Jean-Raymond Abrial, Dominique Cansell, Dominique Méry |
Refinement and Reachability in EventB. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
Refinement, Reachability, B Method, Stuttering |
31 | Rajeev Alur, Radu Grosu |
Modular refinement of hierarchic reactive machines. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines |
31 | Hiroyuki Iida, Kazutoshi Takahara, Jun Nagashima, Yoichiro Kajihara, Tsuyoshi Hashimoto |
An Application of Game-Refinement Theory to Mah Jong. |
ICEC |
2004 |
DBLP DOI BibTeX RDF |
game-refinement theory, multi-person games with incomplete-information and Mah Jong |
31 | Bernhard K. Aichernig |
Mutation Testing in the Refinement Calculus. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Formal specifications, Formal methods, Refinement, Abstraction, Test case generation, Mutation testing, Test coverage |
31 | Michael J. Butler |
On the Use of Data Refinement in the Development of Secure Communications Systems. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Refinement, Security protocols, CSP, B, Action systems |
31 | Eerke A. Boiten |
Loose Specification and Refinement in Z. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
model containment, states-and-operations, loose specification, semantics, refinement, Z |
31 | David Carmel, Eitan Farchi, Yael Petruschka, Aya Soffer |
Automatic query refinement using lexical affinities with maximal information gain. |
SIGIR |
2002 |
DBLP DOI BibTeX RDF |
automatic query refinement, pseudo relevance feedback |
31 | Xikun Liang, Brian Wyvill |
Hierarchical Implicit Surface Refinement. |
Computer Graphics International |
2001 |
DBLP DOI BibTeX RDF |
surface refinement, animation, implicit surfaces, implicit modeling, global deformation |
31 | Greg Bryan, Tom Abel, Michael L. Norman |
Achieving extreme resolution in numerical cosmology using adaptive mesh refinement: resolving primordial star formation. |
SC |
2001 |
DBLP DOI BibTeX RDF |
numerical cosmology, parallel algorithms, adaptive mesh refinement |
31 | Yanxiang He, Qiang Song, Qian Huang |
Extensions of Standard Z Refinement Relation for Multiple Viewpoints Oriented Requirements Method. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
Implementation relation, Refinement relation, MVORM, State transition system |
31 | Ana Cavalcanti 0001, David A. Naumann |
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Refinement calculi, verification, object-orientation, semantic models |
31 | Julia Padberg |
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. |
Appl. Categorical Struct. |
1999 |
DBLP DOI BibTeX RDF |
high-level replacement systems, Petri net transformations, horizontal structuring, refinement, graph transformations |
31 | Patricia M. Hill, Fausto Spoto |
Freeness Analysis Through Linear Refinement. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
linear refinement, freeness analysis, logic programming, static analysis, Abstract interpretation, abstract domain |
31 | Dimitur Nikolaev Krustev |
Software Test Generation Using Refinement Types. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
refinement types, process graphs, super-compilation, software testing, functional languages, automatic test generation |
31 | Michael Poppleton, Richard Banach |
Retrenchment: Extending the Reach of Refinement. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
development calculus, simulation, composition, refinement, monotonicity, transitivity, B-Method, weakest precondition, predicate transformer, retrenchment, stepwise development |
31 | Philipp A. Heuberger |
The minimal user interface of a simple refinement tool. |
Softw. Concepts Tools |
1998 |
DBLP DOI BibTeX RDF |
Proof editing, Formal methods, Theorem proving, Refinement calculus |
31 | Jie Gong, Daniel Gajski, Smita Bakshi |
Model refinement for hardware-software codesign. |
ACM Trans. Design Autom. Electr. Syst. |
1997 |
DBLP DOI BibTeX RDF |
sofware-hardware codesign, functional model, implementation model, model refinement |
31 | Peter T. Breuer, Carlos Delgado Kloos, Andrés Marín López, Natividad Martínez Madrid, Luis Sánchez Fernández 0001 |
A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
timed logic, formal verification, refinement, VHDL, denotational semantics, digital circuits, program logic |
31 | Robert P. Kurshan |
Analysis of Discrete Event Coordination. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
coordination analysis, formal verification, refinement, reduction, homomorphism |
31 | Tarvo Raudvere, Ingo Sander, Axel Jantsch |
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Lourdes Peña Castillo, Stefan Wrobel |
Macro-Operators in Multirelational Learning: A Search-Space Reduction Technique. |
ECML |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Nikos I. Katevas, Spyros G. Tzafestas, Christos G. Pnevmatikatos |
The Approximate Cell Decomposition with Local Node Refinement Global Path Planning Method: Path Nodes Refinement and Curve Parametric Interpolation. |
J. Intell. Robotic Syst. |
1998 |
DBLP DOI BibTeX RDF |
global path planning, approximate cell decomposition, path refinement, curve parametric interpolation, mobile robot, cubic splines |
30 | Thomas Ruhroth, Heike Wehrheim |
Refinement-Preserving Co-evolution. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Yiannis Andreopoulos, Mihaela van der Schaar |
Incremental Refinement of Computation for the Discrete Wavelet Transform. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Larissa Meinicke, Ian J. Hayes |
Probabilistic Choice in Refinement Algebra. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Jun Li, Wen Zhang, Xiaomei Li |
An Adaptive Refinement Ratio Algorithm for Structured AMR Method Based on SAMRAI Framework. |
HPCC |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo |
A Forward-Backward Abstraction Refinement Algorithm. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Harald Fecher, Sharon Shoham |
Local Abstraction-Refinement for the mu-Calculus. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Chao Wang 0001, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi |
Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001 |
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Ralph-Johan Back |
Incremental Software Construction with Refinement Diagrams. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Jean Pierre Charalambos |
Virtual Multiresolution Screen Space Errors: Hierarchical Level-of-Detail (HLOD) Refinement Through Hardware Occlusion Queries. |
GMAI |
2006 |
DBLP DOI BibTeX RDF |
|
30 | José Antonio Muñoz-Gómez, Pedro González-Casanova, Gustavo Rodríguez Gómez |
Adaptive Node Refinement Collocation Method for Partial Differential Equations. |
ENC |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Santen |
A Formal Framework for Confidentiality-Preserving Refinement. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Nenad Stojanovic |
Conceptual Query Refinement: The Basic Model. |
WISE |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Anubhav Gupta 0001, Ofer Strichman |
Abstraction Refinement for Bounded Model Checking. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Machiel van der Bijl, Arend Rensink, Jan Tretmans |
Action Refinement in Conformance Testing. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Sven Apel, Thomas Leich, Gunter Saake |
Aspect Refinement and Bounding Quantification in Incremental Designs. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Tamy Boubekeur, Christophe Schlick |
Generic mesh refinement on GPU. |
Graphics Hardware |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Bei Shui Liao, Ji Gao |
An Automatic Policy Refinement Mechanism for Policy-Driven Grid Service Systems. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Gareth Carter, Rosemary Monahan, Joseph M. Morris |
Software Refinement with Perfect Developer. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Marcel Oliveira, Manuela Xavier, Ana Cavalcanti 0001 |
Refine and Gabriel: Support for Refinement and Tactics. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Florian Kammüller, Jeff W. Sanders |
Heuristics for Refinement Relations. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Mila E. Majster-Cederbaum, Jinzhao Wu |
Towards action refinement for true concurrent real time. |
Acta Informatica |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Mila E. Majster-Cederbaum, Jinzhao Wu |
Adding Action Refinement to Stochastic True Concurrency Models. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Steve Dunne |
Introducing Backward Refinement into B. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Chao Wang 0001, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi |
Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Debargha Mukherjee, Sanjit K. Mitra |
Successive refinement lattice vector quantization. |
IEEE Trans. Image Process. |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 12900 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|