|
|
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 |
18 | Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor |
Programming with angelic nondeterminism. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
angelic non-determinism, constraints, refinement, traces, bounded model-checking |
18 | Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
Timed I/O automata: a complete specification theory for real-time systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
specification theory, timed i/o automata, real-time, interfaces, refinement |
18 | Manasi Vartak, Venkatesh Raghavan, Elke A. Rundensteiner |
QRelX: generating meaningful queries that provide cardinality assurance. |
SIGMOD Conference |
2010 |
DBLP DOI BibTeX RDF |
cardinality assurance, query refinement |
18 | Neha Rungta, Eric Mercer |
Slicing and dicing bugs in concurrent programs. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
underapproximation, concurrency, abstraction-refinement |
18 | Leo Freitas, Jim Woodcock 0001 |
FDR Explorer. |
Formal Aspects Comput. |
2009 |
DBLP DOI BibTeX RDF |
Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR |
18 | Bernhard K. Aichernig, Jifeng He 0001 |
Mutation testing in UTP. |
Formal Aspects Comput. |
2009 |
DBLP DOI BibTeX RDF |
Unifying theories of programming, Algebra of programming, Specification-based testing, Mutation testing, Refinement calculus, Fault-based testing |
18 | Kenny Erleben |
Maximal independent set graph partitions for representations of body-centered cubic lattices. |
Vis. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Coarsening, Body-centered cubic lattice, Graph, Refinement |
18 | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee |
On relational interfaces. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
interfaces, composition, refinement, compositionality |
18 | Matthew L. Staten, Steven E. Benzley, Michael A. Scott |
A methodology for quadrilateral finite element mesh coarsening. |
Eng. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Quadrilateral, Coarsening, Adaptivity, Refinement, Finite elements |
18 | Stephen H. Muggleton, Alireza Tamaddoni-Nezhad |
QG/GA: a stochastic search for Progol. |
Mach. Learn. |
2008 |
DBLP DOI BibTeX RDF |
Genetic Algorithms, Refinement, Stochastic search |
18 | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
Test frame updating in CPM testing of Prolog programs. |
Softw. Qual. J. |
2008 |
DBLP DOI BibTeX RDF |
CPM testing, Prolog programs, Call patterns semantics, Test frame reduction, Test frame refinement |
18 | Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières |
Incremental development of UML specifications using operation refinements. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Incremental specification, UML, Refinement, B |
18 | Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif |
Verification of Mondex electronic purses with KIV: from transactions to a security protocol. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Verification, Refinement, Security protocol, Z, ASM, Mondex |
18 | Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial |
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
Rodin tool, Refinement, File system, Tree structure, Proof, Event-B |
18 | Mengjun Li, Ti Zhou, Zhoujun Li 0001 |
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming. |
Inscrypt |
2008 |
DBLP DOI BibTeX RDF |
non-termination characterization and prediction, abstract and refinement, security protocol |
18 | Long Quan, Zongyan Qiu, Zhiming Liu 0001 |
Formal Use of Design Patterns and Refactoring. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
rCOS, Object-Orientation, Design Pattern, Refinement, Refactoring |
18 | Richard Banach |
UseCase-Wise Development: Retrenchment for Event-B. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
UseCase-wise Development, Tower Pattern, Refinement, Incremental Development, Event-B, Retrenchment |
18 | Wenyu Chen, Yiyu Cai, Jianmin Zheng |
Generalized hierarchical NURBS for interactive shape modification. |
VRCAI |
2008 |
DBLP DOI BibTeX RDF |
shape modification, refinement, NURBS, hierarchical representation |
18 | Jiro Inoue, A. James Stewart |
Multiresolution sphere packing tree: a hierarchical multiresolution 3D data structure. |
Symposium on Solid and Physical Modeling |
2008 |
DBLP DOI BibTeX RDF |
MSP-tree, sphere packing, multiresolution, selective refinement |
18 | Markus Nordén, Henrik Löf, Jarmo Rantakokko, Sverker Holmgren |
Dynamic Data Migration for Structured AMR Solvers. |
Int. J. Parallel Program. |
2007 |
DBLP DOI BibTeX RDF |
SAMR, Geographical locality, Shared memory, OpenMP, Graph partitioning, Adaptive mesh refinement, cc-NUMA, Page migration |
18 | Fei Pu, Wenhui Zhang |
Combining search space partition and abstraction for LTL model checking. |
Sci. China Ser. F Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
search space partition, LTL model checking, refinement, abstraction |
18 | Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu 0001, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan |
Modelling with Relational Calculus of Object and Component Systems - rCOS. |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
Design, Refinement, Transformation, Requirements Modelling |
18 | Klaus Pohl, Ernst Sikora |
Structuring the Co-design of Requirements and Architecture. |
REFSQ |
2007 |
DBLP DOI BibTeX RDF |
co-development, innovative systems, architecture, refinement, requirements, scenarios |
18 | Ankita Jain, Xiangmin Jiao |
Overlaying Surface Meshes: Extension and Parallelization. |
IMR |
2007 |
DBLP DOI BibTeX RDF |
surface mesh overlay, common refinement, parallel algorithms, Computational geometry, robustness |
18 | Tarvo Raudvere, Ingo Sander, Axel Jantsch |
A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
design refinement, synchronization, system design |
18 | Nazim Benaïssa, Dominique Cansell, Dominique Méry |
Integration of Security Policy into System Modeling. |
B |
2007 |
DBLP DOI BibTeX RDF |
integration, refinement, security policy |
18 | Dominique Cansell, Dominique Méry, Joris Rehm |
Time Constraint Patterns for Event B Development. |
B |
2007 |
DBLP DOI BibTeX RDF |
distributed systems, refinement, pattern, event B |
18 | Zhi Jin |
Revisiting the Meaning of Requirements. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
requirements refinement, requirements analysis, problem decomposition |
18 | Colin F. Snook, Michael J. Butler |
UML-B: Formal modeling and design aided by UML. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
UML-B, Modeling, refinement |
18 | Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne |
Tank monitoring: a pAMN case study. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Probabilistic B, Probabilistic predicate transformers, Formal methods, Refinement |
18 | Jim Woodcock 0001, Leo Freitas |
Z/Eves and the Mondex Electronic Purse. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex |
18 | Huynh Quang Huy Viet, Takahiro Kamada, Hiromi T. Tanaka |
An Algorithm for Cutting 3D Surface Meshes. |
ICPR (4) |
2006 |
DBLP DOI BibTeX RDF |
cutting simulation, haptic interface, deformable object, adaptive mesh refinement, surgery simulation, virtual sculpting |
18 | Yu Gao, Baosong Deng, Lingda Wu |
Efficient view-dependent out-of-core rendering of large-scale and complex scenes. |
VRCIA |
2006 |
DBLP DOI BibTeX RDF |
hierarchical level of detail (HLOD), out-of-core rendering, view frustum culling, view-dependent refinement |
18 | Cungen Cao 0001, Yuefei Sui, Zaiyue Zhang |
The Rough Logic and Roughness of Logical Theories. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
logical theories, refinement, Rough set theory, logical implication |
18 | Jie Zhou, Jim Alves-Foss |
Architecture-based refinements for secure computer systems design. |
PST |
2006 |
DBLP DOI BibTeX RDF |
architectural refinement, non-functional requirements, multi-level security |
18 | Jean-Raymond Abrial |
Train Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Correct Construction, Refinement, Requirement, Failure, Event-B |
18 | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook |
Formal Development of Mechanisms for Tolerating Transient Faults. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Transientfaults, refinement, control systems, B Method, FMS |
18 | Wim H. Hesselink |
Eternity variables to prove simulation of specifications. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
History variables, preservation of quiescence, prophecy variables, simulation, implementation, invariant, refinement mapping |
18 | Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde |
PLTL-partitioned model checking for reactive systems under fairness assumptions. |
ACM Trans. Embed. Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking |
18 | Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001 |
Concurrent software verification with states, events, and deadlocks. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning |
18 | 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 |
18 | Xiaolin Li 0001, Manish Parashar |
Using Clustering to Address Heterogeneity and Dynamism in Parallel Scientific Applications. |
HiPC |
2005 |
DBLP DOI BibTeX RDF |
Hierarchical Multi-Partitioner, Parallel Computing, Dynamic Load Balancing, Adaptive Mesh Refinement |
18 | Ioannis T. Kassios |
Decoupling in Object Orientation. |
FM |
2005 |
DBLP DOI BibTeX RDF |
specification and refinement, object orientation |
18 | Kevin Bierhoff, Jonathan Aldrich |
Lightweight object specification with typestates. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
union and intersection types, refinement, substitutability, typestate, behavioral subtyping |
18 | J. Christian Attiogbé |
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
Refinement, Mutual Exclusion, Event B, Parallel Composition |
18 | Nenad Stojanovic |
On the role of a user's knowledge gap in an information retrieval process. |
K-CAP |
2005 |
DBLP DOI BibTeX RDF |
ontology, information retrieval, query refinement |
18 | Christian Prehofer |
Plug-and-play composition of features and feature interactions with statechart diagrams. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Graphic modeling techniques, Plug-and-play composition, Semantic refinement, UML, Feature interaction, Statechart diagrams |
18 | Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav |
Efficient Verification of Sequential and Concurrent C Programs. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
concurrency, process algebra, software verification, predicate abstraction, abstraction refinement |
18 | Kaushik Chakrabarti, Michael Ortega-Binderberger, Sharad Mehrotra, Kriengkrai Porkaew |
Evaluating Refined Queries in Top-k Retrieval Systems. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
relevance feedback, query refinement, Multidimensional indexing, similarity queries, k-nearest neighbor search |
18 | Frank Losasso, Frédéric Gibou, Ronald Fedkiw |
Simulating water and smoke with an octree data structure. |
ACM Trans. Graph. |
2004 |
DBLP DOI BibTeX RDF |
octree data structure, level set, physics-based animation, adaptive mesh refinement, water, smoke, particles |
18 | Jing Yang, Quan Long, Zhiming Liu 0001, Xiaoshan Li |
A Predicative Semantic Model for Integrating UML Models. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
UML, Refinement, Formal semantics, Model integration |
18 | Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li, Shengchao Qin |
A Relational Model for Object-Oriented Designs. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
UTP, Semantics, Object Orientation, Refinement |
18 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Conservative approximations for heterogeneous design. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
verification, approximation, refinement, abstraction, heterogeneous, polymorphism, model of computation |
18 | Xu Wang 0001, A. W. Roscoe 0001, Ranko Lazic 0001 |
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Trace refinement, Model checking, CSP, Array, Reachability, Data independence |
18 | Martin C. Henson, Steve Reeves |
A Logic for Schema-Based Program Development. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Refinement, Z, Program development |
18 | Kolja Kähler, Jörg Haber, Hans-Peter Seidel |
Dynamically refining animated triangle meshes for rendering. |
Vis. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Real-time rendering, Triangle meshes, Surface deformation, Adaptive refinement |
18 | Michael Poppleton, Richard Banach |
Structuring Retrenchments in B by Decomposition. |
FME |
2003 |
DBLP DOI BibTeX RDF |
formal methods, refinement, decomposition, structuring, retrenchment |
18 | Marc Frappier, Régine Laleau |
Proving Event Ordering Properties for Information Systems. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
E3, trace-based specifications, refinement, process algebra, B |
18 | Roberto Giacobazzi, Isabella Mastroeni |
Domain Compression for Complete Abstractions. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains |
18 | Keith O. Geddes, Wei Wei Zheng |
Exploiting fast hardware floating point in high precision computation. |
ISSAC |
2003 |
DBLP DOI BibTeX RDF |
arbitrary precision, floating point, least squares, nonlinear systems, linear systems, iterative refinement, multiple precision |
18 | Timothy J. Baker |
Mesh Movement and Metamorphosis. |
Eng. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Coarsening, Matrix norms, Mesh movement, Adaptation, Refinement, Tetrahedral meshing |
18 | Eitan Grinspun, Petr Krysl, Peter Schröder |
CHARMS: a simple framework for adaptive simulation. |
ACM Trans. Graph. |
2002 |
DBLP DOI BibTeX RDF |
refinement relation, multiresolution, subdivision, adaptive computation, basis function |
18 | Achim D. Brucker, Burkhart Wolff |
HOL-OCL: Experiences, Consequences and Design Choices. |
UML |
2002 |
DBLP DOI BibTeX RDF |
refinement, OCL, formal semantics, constraint languages |
18 | Dániel Varró, András Pataricza |
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. |
UML |
2002 |
DBLP DOI BibTeX RDF |
refinement, model transformation, metamodeling, formal semantics, graph transformation |
18 | Sumir Chandra, Shweta Sinha, Manish Parashar, Yeliang Zhang, Jingmei Yang, Salim Hariri |
Adaptive Runtime Managementof SAMR Applications. |
HiPC |
2002 |
DBLP DOI BibTeX RDF |
Adaptive runtime management, Heterogeneous distributed computing, Performance characterization, Structured adaptive mesh refinement, Dynamic applications |
18 | Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet |
A light-weight framework for hardware verification. |
Int. J. Softw. Tools Technol. Transf. |
2001 |
DBLP DOI BibTeX RDF |
Refinement, Theorem-proving, Timing verification, Switch-level models, SRT division |
18 | Julia Padberg, Hartmut Ehrig |
Parameterized Net Classes: A Uniform Approach to Petri Net Classes. |
Unifying Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
actual and formal parameter, uniform approach, rule-based refinement, Petri Nets, fusion, union, high-level nets |
18 | Gianluca Amato, Fausto Spoto |
Abstract Compilation for Sharing Analysis. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
linear refinement, logic programming, Abstract interpretation, linear logic, domain theory |
18 | Xikun Liang, Mai Ali Nur, Brian Wyvill |
Modeling the Structure of the Sea Anemone and the Sea Star Using Hierarchical Implicit Surfaces. |
PG |
2001 |
DBLP DOI BibTeX RDF |
hierarchical surfaces, marine creatures, spiral phyllotaxis, modeling, Implicit surfaces, local refinement, global deformation |
18 | Jan Jürjens |
Composability of Secrecy. |
MMM-ACNS |
2001 |
DBLP DOI BibTeX RDF |
formal specification, Network security, refinement, modularity, cryptographic protocols, computer aided software engineering, composability, secrecy |
18 | Vladimir Volevich, Karol Myszkowski, Andrei Khodulev, Edward A. Kopylov |
Using the visual differences predictor to improve performance of progressive global illumination computation. |
ACM Trans. Graph. |
2000 |
DBLP DOI BibTeX RDF |
Monte Carlo photon tracing, adaptive mesh subdivision, view-independent solutions, density estimation, human perception, progressive refinement |
18 | Michihiro Matsumoto, Kokichi Futatsugi |
The support tool for highly reliable component-based software development. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
reliable component-based software development support tool, output reliability, automated refinement verification, automated connector generation, tree architecture, projection-style behavioral specification, refined specification, component combination, Java, software architecture, formal specification, formal verification, software tools, software reliability, requirements specification, subroutines, distributed object management, JavaBeans, development systems, component-based software architecture |
18 | Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge |
Deriving Software Specifications from Event Based Models. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation |
18 | Ken Robinson |
Reconciling Axiomatic and Model-Based Specifications Using the B Method. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
formal specification, refinement, B Method, axiomatic, model-based |
18 | Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand |
Modular Verification for a Class of PLTL Properties. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
Büchi automata, Propositional linear temporal logic PLTL, B specification, model-checking, Verification, Refinement, modularity |
18 | Peter G. Hancock, Anton Setzer |
Interactive Programs in Dependent Type Theory. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
monadic I/O, repetition constructs, interaction, refinement, Functional programming, dependent types, reactive programming |
18 | Rao V. Garimella, Mark S. Shephard |
Generation of Tetrahedral Meshes with Multiple Elements through Thin Sections. |
Eng. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Anisotropic refinement, Local mesh modification, Thin section models, Mesh generation |
18 | David Cazier, Jean-François Dufourd |
A formal specification of geometric refinements. |
Vis. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Geometric refinement, Computational geometry, Algebraic specifications, Rewrite systems, Boolean operations |
18 | Leonid A. Kalinichenko |
Compositional Specification Calculus for Information Systems Development. |
ADBIS |
1999 |
DBLP DOI BibTeX RDF |
compositional specification calculus, type compositions, most common reducts, type refinement, type lattice, compositional information systems development |
18 | Dick A. C. Quartel, Marten van Sinderen, Luís Ferreira Pires |
Service Creation: A Model-Based Approach. |
FTDCS |
1999 |
DBLP DOI BibTeX RDF |
behavior refinement, conformance assessment, software components, behavior modeling, service creation |
18 | Richard F. Paige |
Heterogeneous Notations for Pure Formal Method Integration. |
Formal Aspects Comput. |
1998 |
DBLP DOI BibTeX RDF |
Refinement, Method integration, Heterogeneous specification |
18 | Herke Jan Noordmans, Arnold W. M. Smeulders, Hans T. M. van der Voort |
Fast volume render techniques for interactive analysis. |
Vis. Comput. |
1997 |
DBLP DOI BibTeX RDF |
Successive adaptive refinement, Confocal microscopy, Interaction, Volume rendering |
18 | Jean-Charles Grégoire |
TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations. |
FME |
1997 |
DBLP DOI BibTeX RDF |
keyword TLA+, refinement, implementation, SPIN, PROMELA, TLA |
18 | Walter Vogler |
The Limit of Split_n-Language Equivalence. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
concurrency, action refinement, partial order semantics |
18 | K. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron |
Integrating task and data parallelism with the group communication archetype. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
group communication archetype, parallel program archetype, reliable efficient parallel applications development, common computation structure, common communication structure, task/data parallelism integration, stepwise refinement methods, code libraries, sequential program transformation, target machine, parallel programming, correctness, libraries, granularity, data parallelism, software libraries, application generators, task parallelism |
18 | Eric Platt, Barry Robson |
Practical use of a fully automatic homology-based protein modelling protocol. |
HICSS (5) |
1995 |
DBLP DOI BibTeX RDF |
fully automatic homology-based protein modelling protocol, tertiary structure prediction, HOM FOLD, fragment-based approach, GLOBAL language, energy refinement, X-ray crystallographic data, reproducibilty, 1.80 angstrom, rule based system, interactive modelling, biology computing, proteins, algorithm performance, molecular configurations, molecular biophysics |
18 | Christian Creveuil, Gruia-Catalin Roman |
Formal Specification and Designof a Message Router. |
ACM Trans. Softw. Eng. Methodol. |
1994 |
DBLP DOI BibTeX RDF |
formal methods, UNITY, program derivation, specification refinement |
18 | Eric Violard, Guy-René Perrin |
Reduction in PEI. |
CONPAR |
1994 |
DBLP DOI BibTeX RDF |
Reduction operator, Parallel programming, Refinement, Transformations, Multiset |
18 | Huimin Lin |
Procedural Implementation of Algebraic Specification. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
abstract implementation, Spec, program refinement, procedural abstraction |
18 | Ralph-Johan Back, Joakim von Wright |
Predicate Transformers and Higher Order Logic. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
nondeterminism, higher order logic, state spaces, weakest preconditions, procedures, Stepwise refinement, predicate transformers, HOL, semantics of programming languages, total correctness |
18 | Ivo Babuska, Werner C. Rheinboldt |
On A System For Adaptive, Parallel Finite Element Computations. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
Adaptive error estimation, Data structures for mesh refinement, Finite element software, Linear elliptic boundary value problems, Parallel process structure |
18 | Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté |
UML/OCL and Refinement. |
ECBS |
2011 |
DBLP DOI BibTeX RDF |
Mathematics extension, Global invariant, Local invariant, Refinement, Genericity, Inheritance, OCL, Class Library |
18 | Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing |
Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies. |
POLICY |
2011 |
DBLP DOI BibTeX RDF |
refinement, policy, model-based management |
18 | Hao Zheng 0001, Haiqiong Yao, Tomohiro Yoneda |
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
circuit verification, model checking, Formal methods, refinement, abstraction, modular verification, logic verification |
18 | Sudarshan K. Srinivasan |
Automatic Refinement Checking of Pipelines with Out-of-Order Execution. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
Pipelined machine verification, refinement, out-of-order execution |
18 | Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam |
Context Information Refinement for Pervasive Medical Systems. |
ICDS |
2010 |
DBLP DOI BibTeX RDF |
Information Refinement, Medical Sys- tems, Context, Pervasive |
18 | Yanhui Xiao, Yao Zhao 0001, Zhenfeng Zhu |
Kernel Canonical Correlation with Similarity Refinement for Automatic Image Tagging. |
IIH-MSP |
2010 |
DBLP DOI BibTeX RDF |
automatic image tagging, KCCA, similarity refinement, CBIR |
18 | Syed Saif Abrar, Aravinda Thimmapuram |
Functional Refinement: A Generic Methodology for Managing ESL Abstractions. |
VLSI Design |
2010 |
DBLP DOI BibTeX RDF |
refinement, functional, ESL, high-level |
18 | Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla |
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle. |
Requir. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Analysis-revision, Formal requirements specifications, Refinement, Retrenchment |
18 | Jane Tournois, Camille Wormser, Pierre Alliez, Mathieu Desbrun |
Interleaving Delaunay refinement and optimization for practical isotropic tetrahedron mesh generation. |
ACM Trans. Graph. |
2009 |
DBLP DOI BibTeX RDF |
graded meshing, isotropic meshing, mesh generation, mesh optimization, Delaunay refinement |
Displaying result #601 - #700 of 12900 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|