|
|
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 |
30 | Ralph-Johan Back |
SFI: A Refinement Based Layered Software Architecture. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Sibylle Peuker |
Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Murat Demirbas, Anish Arora |
Convergence Refinement. |
ICDCS |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Ian J. Hayes, Mark Utting |
A sequential real-time refinement calculus. |
Acta Informatica |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Jan Jürjens |
Secrecy-Preserving Refinement. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Liviu Badea, Shan-Hwei Nienhuys-Cheng |
A Refinement Operator for Description Logics. |
ILP |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Liviu Badea, Monica Stanciu |
Refinement Operators Can Be (Weakly) Perfect. |
ILP |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Elena Troubitsyna |
Enhancing Dependability via Parameterized Refinement. |
PRDC |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Ketil Stølen, Max Fuchs |
An Exercise in Conditional Refinement. |
Prospects for Hardware Foundations |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Manfred Broy |
Compositional Refinement of Interactive Systems Modelled by Relations. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng |
Subsumption and Refinement in Model Inference. |
ECML |
1993 |
DBLP DOI BibTeX RDF |
|
29 | Leo Freitas, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Mark Staples |
Interfaces for Refining Recursion and Procedures. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Refinement Tools, Interfaces, Refinement, Recursion, Procedures |
28 | Ning Zhong 0001, Setsuo Ohsuga |
Managing/refining structural characteristics discovered from databases. |
HICSS (3) |
1995 |
DBLP DOI BibTeX RDF |
structural characteristics management, structural characteristics refinement, automatic knowledge discovery, large knowledge bases, erroneous data, hypothesis generation, hypothesis evaluation, Inheritance Inference Based Refinement, Global Learning Scheme, Knowledge Oriented Statistic Inference, KAUS knowledge-based system, IIBR subsystem, GLS discovery system, KOSI subsystem, learning (artificial intelligence), databases, data structures, knowledge based systems, inheritance, deductive databases, error analysis, error analysis, inference mechanisms, heuristic programming, regression models, model representation, deductive rules |
28 | Arun P. Tirumalai, Brian G. Schunck, Ramesh C. Jain |
Dynamic Stereo with Self-Calibration. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1992 |
DBLP DOI BibTeX RDF |
disparity map refinement, camera motion recovery, incremental refinement, dynamic stereo sequence, binocular stereo vision system, robust least median of squares based algorithm, recursive disparity prediction, robust Kalman filter, motion estimation, mobile robot, mobile robots, image sequences, Kalman filters, calibration, filtering and prediction theory, stereo image processing, least squares approximations, self-calibration |
28 | Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani |
Semi-Automatic Program Construction From Specifications Using Library Modules. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
case-like expressions, semiautomatic specification refinement, library modules, refinement system, module-aided program construction system, pseudo-natural language expressions, formal specification, software tools, MAPS, programming language, automatic programming, subroutines, program generation |
27 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
A UTP semantics for Circus. |
Formal Aspects Comput. |
2009 |
DBLP DOI BibTeX RDF |
Concurrency, Theorem proving, Relational model, Refinement calculus |
27 | Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich |
The synergy of precise and fast abstractions for program verification. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
CEGAR, predicate abstraction, abstraction refinement |
27 | John P. McDermott, Leo Freitas |
A formal security policy for xenon. |
FMSE |
2008 |
DBLP DOI BibTeX RDF |
refinement, open-source, z, csp, hypervisor, information-flow security, circus |
27 | Christie Bolton, Jim Davies |
A singleton failures semantics for Communicating Sequential Processes. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types |
27 | Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith |
State/Event Software Verification for Branching-Time Specifications. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement |
27 | Yiming Ma, Qi Zhong, Sharad Mehrotra, Dawit Yimam Seid |
A framework for refining similarity queries using learning techniques. |
CIKM |
2004 |
DBLP DOI BibTeX RDF |
learning, relevance feedback, refinement, structured data |
27 | Richard Banach, Michael Poppleton |
Retrenching partial requirements into system definitions: a simple feature interaction case study. |
Requir. Eng. |
2003 |
DBLP DOI BibTeX RDF |
Partial requirements, Formal development, Feature engineering, Requirement engineering, Refinement, Feature interaction, Telephony, Retrenchment |
27 | John Derrick |
Timed CSP and Object-Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
Refinement, Object-Z, Timed CSP |
27 | Doug Goldson |
Formal Verification of mu-Charts. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
µ-charts, formal verification, refinement, CSP |
27 | Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain |
Incremental Fault-Tolerant Design in an Object-Oriented Setting. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
formal methods refinement trace semantics, Fault-tolerance, object orientation, incremental design |
27 | Luke Wildman, Colin J. Fidge, David A. Carrington |
Computer-aided development of a real-time program. |
Softw. Concepts Tools |
2000 |
DBLP DOI BibTeX RDF |
Software engineering, Verification, Formal methods, Refinement, Tool support, Real-time programming |
27 | Régine Laleau, Amel Mammar |
A Generic Process to Refine a B Specification into a Relational Database Implementation. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
Refinement Process, Relational Database Implementation, B method |
27 | Khalid Belhajjame, Norman W. Paton, Suzanne M. Embury, Alvaro A. A. Fernandes, Cornelia Hedeler |
Feedback-based annotation, selection and refinement of schema mappings for dataspaces. |
EDBT |
2010 |
DBLP DOI BibTeX RDF |
mapping annotation, mapping refinement, mapping selection, pay-as-you-go, data integration, user feedback, dataspaces |
27 | Dominique Cansell, Dominique Méry, Cyril Proch |
System-on-chip design by proof-based refinement. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof |
27 | Annabelle McIver, Carroll C. Morgan |
Sums and Lovers: Case Studies in Security, Compositionality and Refinement. |
FM |
2009 |
DBLP DOI BibTeX RDF |
Refinement of security, formalised secrecy, hierarchical security reasoning, compositional semantics |
27 | Sadaaki Miyamoto |
Refinement Properties in Agglomerative Hierarchical Clustering. |
MDAI |
2009 |
DBLP DOI BibTeX RDF |
single linkage, complete linkage, average linkage, refinement, Agglomerative clustering |
27 | Jifeng He 0001 |
Service refinement. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
component, refinement, service |
27 | Constantin Enea |
Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
equational abstraction, CEGAR, verification, refinement |
27 | Ti Zhou, Mengjun Li, Zhoujun Li 0001 |
Local abstract verification and refinement of security protocols. |
FMSE |
2008 |
DBLP DOI BibTeX RDF |
verification, refinement, abstraction, security protocols |
27 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 |
Framework composition conformance via refinement checking. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
conformance notions, framework composition, refinement, CSP |
27 | Bjørnar Solhaug, Ketil Stølen |
Compositional Refinement of Policies in UML - Exemplified for Access Control. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
policy adherence, access control, UML sequence diagrams, Policy specification, policy refinement |
27 | Maik Wurdel, Daniel Sinnig, Peter Forbrig |
Task Model Refinement with Meta Operators. |
DSV-IS |
2008 |
DBLP DOI BibTeX RDF |
requirements engineering, refinement, scenarios, Task models |
27 | Bita Gorjiara, Daniel Gajski |
Automatic architecture refinement techniques for customizing processing elements. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
GNR, nanocoded architectures, no-instruction-set computer (NISC), refinement, high-level synthesis, power, ASIP, datapath, netlist |
27 | Mengjun Li, Ti Zhou, Zhoujun Li 0001, Huowang Chen |
An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
abstraction and refinement, security protocol |
27 | Pascale Le Gall, Nicolas Rapin, Assia Touil |
Symbolic Execution Techniques for Refinement Testing. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
symbolic transition system, refinement, conformance testing, symbolic execution |
27 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Proving Linearizability Via Non-atomic Refinement. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
refinement, CSP, Object-Z, linearizability, concurrent access |
27 | Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró |
Style-based modeling and refinement of service-oriented architectures. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
Architecture refinement, Service-oriented architecture, Graph transformation, Architectural style |
27 | Karl Lermer, Colin J. Fidge |
Procedure compilation in the refinement calculus. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Program compilation, Procedures, Predicate transformers, Program refinement |
27 | Bin Han 0003 |
Solutions in Sobolev spaces of vector refinement equations with a general dilation matrix. |
Adv. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
vector refinement equation, refinable function vector, cascade algorithm, smoothness, rate of convergence, Sobolev space |
27 | Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001 |
A Counterexample-Guided Refinement Tool for Open Procedural Programs. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
CSP, software model checking, game semantics, abstraction refinement, FDR |
27 | JiDong Ge, Hao Hu 0001, Jian Lu 0001 |
Invariant Analysis for the Task Refinement of Workflow Nets. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
workflow process model, task refinement, Petri nets, invariants, soundness, workflow composition |
27 | Illhoi Yoo, Xiaohua Hu 0001, Il-Yeol Song |
Integration of semantic-based bipartite graph representation and mutual refinement strategy for biomedical literature clustering. |
KDD |
2006 |
DBLP DOI BibTeX RDF |
bipartite graph representation, mutual refinement strategy, ontology, document clustering |
27 | Greg Reeve, Steve Reeves |
Logic and refinement for charts. |
ACSC |
2006 |
DBLP BibTeX RDF |
ZC, refinement, logic, statecharts, reactive systems, Z |
27 | Manu Sridharan, Rastislav Bodík |
Refinement-based context-sensitive points-to analysis for Java. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
refinement, points-to analysis, context-sensitive analysis, demand-driven analysis |
27 | António Oliveira, Luís Paulo Santos, Alberto José Proença |
Refinement criteria for high fidelity interactive walkthroughs. |
GRAPHITE |
2006 |
DBLP DOI BibTeX RDF |
asynchronous rendering, refinement criteria, ray tracing, coherence, interactive walkthrough |
27 | Boris Shishkov, Dick A. C. Quartel |
Combining SDBC and ISDL in the Modeling and Refinement of Business Processes. |
ICEIS (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
SDBC, ISDL, Refinement, System design, Business process modeling |
27 | Sariel Har-Peled, Alper Üngör |
A time-optimal delaunay refinement algorithm in two dimensions. |
SCG |
2005 |
DBLP DOI BibTeX RDF |
delaunay triangulation, quadtree, steiner points, mesh quality, mesh refinement |
27 | Mark E. Botkin, Hui-Ping Wang |
An adaptive mesh refinement of quadrilateral finite element meshes based upon a posteriori error estimation of quantities of interest: linear static response. |
Eng. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Error analysis, Mesh generation, Finite element analysis, A posteriori error estimation, Adaptive refinement |
27 | Robert Niewiadomski, José Nelson Amaral, Robert C. Holte |
A performance study of data layout techniques for improving data locality in refinement-based pathfinding. |
ACM J. Exp. Algorithmics |
2004 |
DBLP DOI BibTeX RDF |
Cache-conscious algorithms, classical refinement, pathfinding |
27 | Paolo Cignoni, Leila De Floriani, Paola Magillo, Enrico Puppo, Roberto Scopigno |
Selective Refinement Queries for Volume Visualization of Unstructured Tetrahedral Meshes. |
IEEE Trans. Vis. Comput. Graph. |
2004 |
DBLP DOI BibTeX RDF |
Unstructured tetrahedral meshes, volume data visualization, multiresolution geometric modeling, selective refinement |
27 | Antónia Lopes, José Luiz Fiadeiro |
Superposition: composition vs refinement of non-deterministic, action-based systems. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Composition, Refinement, Superposition |
27 | Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum |
Formal Specification of an Asynchronous Processor via Action Refinement. |
MTV |
2004 |
DBLP DOI BibTeX RDF |
pipelines, microprocessors, asynchronous circuits, Action refinement |
27 | Sun Meng, Luís Soares Barbosa |
On Refinement of Generic State-Based Software Components. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
coalgebraic models, Components, refinement |
27 | Daniel A. Spielman, Shang-Hua Teng, Alper Üngör |
Parallel Delaunay Refinement with Off-Centers. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
parallel algorithms, triangulations, Delaunay refinement |
27 | Mila Dalla Preda |
Completeness Refinement in Abstract Symbolic Trajectory Evaluation. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
Domain Refinement, Model-checking, Verification, Abstract Interpretation, Completeness, Data Flow Analysis, Symbolic Trajectory Evaluation |
27 | Martin Bertram 0001 |
Volume Refinement Fairing Isosurfaces. |
IEEE Visualization |
2004 |
DBLP DOI BibTeX RDF |
volume fairing, subdivision, isosurfaces, adaptive mesh refinement, variational modeling |
27 | Freddy Y. C. Mang, Pei-Hsin Ho |
Abstraction refinement by controllability and cooperativeness analysis. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
formal verification, controllability, cooperativeness, abstraction refinement |
27 | Sun Meng, Zhang Naixiao, Luís Soares Barbosa |
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
Semantics, Refinement, Statechart, Coalgebra |
27 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
ArcAngel: a Tactic Language for Refinement. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
ensp, Formal methods, Refinement calculus, Program development |
27 | Jim Davies, Charles Crichton |
Concurrency and Refinement in the Unified Modeling Language. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Concurrency, Refinement, Object-oriented design, Object modelling, Communicating Sequential Processes |
27 | Ronald H. W. Hoppe, Svetozara Petrova, Yuri V. Vassilevski |
Adaptive Grid Refinement for Computation of the Homogenized Elasticity Tensor. |
LSSC |
2003 |
DBLP DOI BibTeX RDF |
biomorphic microcellular ceramics, homogenization technique, a posteriori error estimators, shape optimization, adaptive refinement |
27 | Anton Antonov, Krassimir Georgiev, Emilia Komsalova, Zahari Zlatev |
Comparison of Two Local Refinement Methods for Large Scale Air Pollution Simulations. |
LSSC |
2003 |
DBLP DOI BibTeX RDF |
rotational test, translational test, local refinement, Air pollution modeling |
27 | Mario Bravetti, Roberto Gorrieri |
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
ST bisimulation, noninterleaving semantics, process algebra, axiomatization, Action refinement |
27 | Romi Satria Wahono, Behrouz H. Far |
A Framework for Object Identification and Refinement Process in Object-Oriented Analysis and Design. |
IEEE ICCI |
2002 |
DBLP DOI BibTeX RDF |
object refinement, requirements engineering, object identification |
27 | David R. Musser, Zhiqing Shao |
Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Specification techniques and languages, specification evolution and refinement, formal semantics |
27 | Marc Aiguier, Christophe Gaston, Pascale Le Gall |
Feature Logics and Refinement. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
abstract logical framework, formal specification, refinement, feature, feature interaction |
27 | Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein |
Refinement and Verification Applied to an In-Flight Data Acquisition Unit. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
7CRL, model checking, verification, refinement, B-method |
27 | Ingo Sander, Axel Jantsch |
Transformation based communication and clock domain refinement for system design. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
design refinement, system design, system modeling |
27 | Hanxiong Chen, Jeffrey Xu Yu, Kazutaka Furuse, Nobuo Ohbo |
Support IR Query Refinement by Partial Keyword Set. |
WISE (1) |
2001 |
DBLP DOI BibTeX RDF |
Prime keyword, Information retrieval, AR, Query refinement |
27 | Martin Fürer |
Weisfeiler-Lehman Refinement Requires at Least a Linear Number of Iterations. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
Graph Isomorphism Testing, Weisfeiler-Lehman Refinement, Games, Descriptive Complexity |
27 | Sibylle Peuker |
Property Preserving Transition Refinement with Concurrent Runs: An Example. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
Transition Refinement, Distributed Systems, Verification, Petri Nets, Partial Order Semantics |
27 | Pavel Kagan, Anath Fischer, Pinhas Z. Bar-Yoseph |
Mechanically Based Design: Adaptive Refinement for B-Spline Finite Element. |
Shape Modeling International |
2001 |
DBLP DOI BibTeX RDF |
Mechanically Based System, B-Spline Finite Element, continuity constraint, local refinement |
27 | Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright |
Class Refinement as Semantics of Correct Object Substitutability. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Class refinement, Code inheritance, Behavioural compatibility, Object substitutability, Semantics of object-oriented constructs, Implicit and explicit invariants, New methods, Correctness, Subtyping, Subclassing |
27 | Liang-Chi Chen, Sandeep K. Gupta 0001, Melvin A. Breuer |
A new framework for static timing analysis, incremental timing refinement, and timing simulation. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
incremental timing refinement, signal arrival, target fault, test generation efficiency, logic testing, delays, timing, test generation, integrated circuit testing, computation, automatic test pattern generation, ATPG, static timing analysis, delay model, timing simulation |
27 | Jonathan S. Ostroff |
Composition and Refinement of Discrte Real-Time Systems. |
ACM Trans. Softw. Eng. Methodol. |
1999 |
DBLP DOI BibTeX RDF |
timed logic, model-checking, temporal logic, refinement, abstraction, modules, state explosion |
27 | Wai Lam |
Bayesian Network Refinement Via Machine Learning Approach. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1998 |
DBLP DOI BibTeX RDF |
Knowledge base refinement, data mining, machine learning, Bayesian networks, uncertainty reasoning |
27 | Li-Min Fu |
A connectionist approach to rule refinement. |
Appl. Intell. |
1992 |
DBLP DOI BibTeX RDF |
rule refinement, neural network, Knowledge-based system |
26 | Hale Erten, Alper Üngör |
Triangulations with locally optimal Steiner points. |
Symposium on Geometry Processing |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Dominique Cansell, Dominique Méry |
Proved-Patterns-Based Development for Structured Programs. |
CSR |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Richard Banach, John Derrick |
Filtering Retrenchments into Refinements. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
26 | G. P. Nikishkov |
Adaptive Surface Modeling Using a Quadtree of Quadratic Finite Elements. |
International Conference on Computational Science (2) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Sebastián Uchitel, Marsha Chechik |
Merging partial behavioural models. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
partial behaviour models, merge, MTS |
26 | Chao Wang 0001, Gary D. Hachtel, Fabio Somenzi |
Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. |
ICCD |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Joëlle Cohen, Anatol Slissenko |
On Verification of Refinements of Timed Distributed Algorithms. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Ravi S. Sandhu |
The NTree: A Two Dimension Partial Order for Protection Groups. |
ACM Trans. Comput. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
26 | James Demmel, Yozo Hida, E. Jason Riedy, Xiaoye S. Li |
Extra-Precise Iterative Refinement for Overdetermined Least Squares Problems. |
ACM Trans. Math. Softw. |
2009 |
DBLP DOI BibTeX RDF |
Linear algebra, floating-point arithmetic, BLAS, LAPACK |
26 | Judy Bowen, Steve Reeves |
Supporting Multi-path UI Development with Vertical Refinement. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Alexander Heußner, Tristan Le Gall, Grégoire Sutre |
Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Susumu Nishimura |
Safe Modification of Pointer Programs in Refinement Calculus. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Hasan F. Ates |
Fast inter-mode decision and selective quarter-pel refinement in H.264 video coding. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Xiaojian Liu, Xuejun Liu, Jianxin Li, Yanzhi Zhao, Zhixue Wang |
Refinement of UML Interaction for Correct Embedded System Design. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song |
Component-Based Abstraction and Refinement. |
ICSR |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Da Qi Ren, Dennis Giannacopoulos, Reiji Suda |
An optimized Dynamic Load Balancing method for parallel 3-D mesh refinement for finite element electromagnetics with Tetrahedra. |
CLUSTER |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Nicolas Bruno, Surajit Chaudhuri |
Physical design refinement: The 'merge-reduce' approach. |
ACM Trans. Database Syst. |
2007 |
DBLP DOI BibTeX RDF |
physical design refinment, view merging and reduction, Physical database design |
Displaying result #201 - #300 of 12900 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|