|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1751 occurrences of 1181 keywords
|
|
|
Results
Found 3382 publication records. Showing 3382 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | Himanshu Thapliyal, Nagarajan Ranganathan |
Conservative QCA Gate (CQCA) for Designing Concurrently Testable Molecular QCA Circuits. |
VLSI Design |
2009 |
DBLP DOI BibTeX RDF |
|
60 | Hans-Juergen Boehm |
Space efficient conservative garbage collection (with retrospective) |
Best of PLDI |
1993 |
DBLP DOI BibTeX RDF |
|
56 | Julien Cojan, Jean Lieber |
Conservative Adaptation in Metric Spaces. |
ECCBR |
2008 |
DBLP DOI BibTeX RDF |
conservative adaptation, case representation, adaptation, belief revision, metric spaces |
56 | Jean Lieber |
Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation. |
ICCBR |
2007 |
DBLP DOI BibTeX RDF |
knowledge-intensive case-based reasoning, conservative adaptation, theory of revision, logical representation of cases, application to oncology, adaptation, case-based reasoning |
56 | Mary L. Bailey, Michael A. Pagels |
Empirical Measurements of Overheads in Conservative Asynchronous Simulations. |
ACM Trans. Model. Comput. Simul. |
1994 |
DBLP DOI BibTeX RDF |
conservative asynchronous simulation, null messages, overhead measurement, parallel processing, discrete-event simulation |
53 | Ellen Sentovich |
Quick Conservative Causality Analysis. |
ISSS |
1997 |
DBLP DOI BibTeX RDF |
quick conservative causality analysis, causality problem, standard logic synthesis techniques, combinational circuits, combinational circuit, conservative algorithm |
51 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Refinement preserving approximations for the design and verification of heterogeneous systems. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization |
49 | Miklós Ferenczi |
On Conservative Extensions in Logics with Infinitary Predicates. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
conservative extension, infinitary predicates, algebraic logic |
49 | Siming Lin, Xueqi Cheng, Jianming Lv |
State Causality Analysis of Conservative Parallel Network Simulation. |
Annual Simulation Symposium |
2008 |
DBLP DOI BibTeX RDF |
performance evaluation, speedup, parallel efficiency, critical path analysis, conservative simulation |
49 | Gustavo Rodriguez-Rivera, Michael Spertus, Charles Fiterman |
Conservative Garbage Collection for General Memory Allocators. |
ISMM |
2000 |
DBLP DOI BibTeX RDF |
automatic memory management, memory allocation, conservative garbage collection |
46 | Florent Bouchez, Alain Darte, Fabrice Rastello |
Advanced conservative and optimistic register coalescing. |
CASES |
2008 |
DBLP DOI BibTeX RDF |
coloring number, greedy-k-colorable graph, register allocation, chordal graph, register coalescing |
46 | Joaquín Torres-Sospedra, Carlos Hernández-Espinosa, Mercedes Fernández-Redondo |
Designing a Multilayer Feedforward Ensemble with the Weighted Conservative Boosting Algorithm. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Alan J. Demers, Mark D. Weiser, Barry Hayes, Hans-Juergen Boehm, Daniel G. Bobrow, Scott Shenker |
Combining Generational and Conservative Garbage Collection: Framework and Implementations. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
44 | Jinsheng Xu, Jinghua Zhang |
Efficiently unifying parallel simulation techniques. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
GVT, synchronous simulation, discrete event simulation, parallel simulation, time warp, optimistic simulation, state saving, conservative simulation |
43 | Bevin Thomas, Syed Sajjad Rizvi, Khaled M. Elleithy |
Reducing null messages using grouping and status retrieval for a conservative discrete-event simulation system. |
SpringSim |
2009 |
DBLP DOI BibTeX RDF |
null message algorithm, discrete event simulation, parallel systems, conservative algorithms |
43 | Siming Lin, Xueqi Cheng, Jianming Lv |
Micro-Synchronization in Conservative Parallel Network Simulation. |
PADS |
2008 |
DBLP DOI BibTeX RDF |
parallel network simulation, lookahead, logical process, conservative synchronization |
43 | György Korniss, Mark A. Novotny, A. K. Kolakowska, Hasan Guclu |
Statistical properties of the simulated time horizon in conservative parallel discrete-event simulations. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
conservative parallel discrete-event simulation, non-equilibrium surface growth, scalability, stochastic processes, Monte Carlo |
43 | Toshio Endo, Kenjiro Taura |
Reducing pause time of conservative collectors. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
memory management, concurrent garbage collection, parallel garbage collection, conservative garbage collection |
43 | Rajive L. Bagrodia, Mineo Takai |
Performance Evaluation of Conservative Algorithms in Parallel Simulation Languages. |
IEEE Trans. Parallel Distributed Syst. |
2000 |
DBLP DOI BibTeX RDF |
parallel simulation languages, Discrete-event simulation, lookahead, parallel and distributed simulation, conservative algorithms, algorithmic efficiency |
43 | Xiao Zhonge, Brian W. Unger, Rob Simmonds, John G. Cleary |
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation. |
Workshop on Parallel and Distributed Simulation |
1999 |
DBLP DOI BibTeX RDF |
ATM network modeling, conservative PDES, optimistic PDES, Chandy-Misra-Bryant algorithm, time parallelism, Critical Channel Traversing algorithm, parallel simulation |
43 | Azzedine Boukerche, Sajal K. Das 0001 |
A Dynamic Load Balancing Algorithm for Conservative Parallel Simulations. |
MASCOTS |
1997 |
DBLP DOI BibTeX RDF |
dynamic load balancing algorithm, conservative parallel simulation, distributed system efficiency, Chandy-Misra null-messages, workload parameters, process migration mechanism, CPU-queue length, first-come, first-served queueing network models, Intel Paragon A4, performance, resource allocation, multicomputer, synchronization protocol |
43 | Joel F. Hurford, Thomas C. Hartrum |
Improving Conservative VHDL Simulation Performance by Reduction of Feedback. |
Workshop on Parallel and Distributed Simulation |
1996 |
DBLP DOI BibTeX RDF |
parallel simulation, circuit simulation, conservative simulation |
43 | David M. Nicol |
Conservative Parallel Simulation of Priority Class Queuing Networks. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
priority class, conservative synchronization protocol, parallelsimulation, parallel algorithms, protocols, queueing theory, queuing networks |
39 | Carsten Lutz, Frank Wolter |
Conservative Extensions in the Lightweight Description Logic EL. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Joaquín Torres-Sospedra, Carlos Hernández-Espinosa, Mercedes Fernández-Redondo |
Averaged Conservative Boosting: Introducing a New Method to Build Ensembles of Neural Networks. |
ICANN (1) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Ludmila I. Kuncheva |
Error Bounds for Aggressive and Conservative AdaBoost. |
Multiple Classifier Systems |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Ha Yoon Song, Sung Hyun Cho, Sang-Yong Han |
A Null Message Count of a Conservative Parallel Simulation. |
VECPAR |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Hans-Juergen Boehm |
Space Efficient Conservative Garbage Collection. |
PLDI |
1993 |
DBLP DOI BibTeX RDF |
C, SPARC, Cedar |
37 | Brian W. Unger, Zhonge Xiao, John G. Cleary, Jya-Jang Tsai, Carey L. Williamson |
Parallel shared-memory simulator performance for large ATM networks. |
ACM Trans. Model. Comput. Simul. |
2000 |
DBLP DOI BibTeX RDF |
ATM network modeling, time warp, parallel discrete event simulation, optimistic synchronization, conservative synchronization |
37 | Edwin Naroska |
Parallel VHDL Simulation. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
Conservative Parallel VHDL simulation, parallel discrete event simulation, PDES |
36 | Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón |
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
Conservative retraction, Independence Rule, boolean derivatives |
36 | Long Zhang 0001, Wei Chen 0001, David S. Ebert, Qunsheng Peng 0001 |
Conservative voxelization. |
Vis. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Conservative correctness, GPU, Voxelization |
36 | Roger Curry, Cameron Kiddle, Rob Simmonds, Brian W. Unger |
Sequential Performance of Asynchronous Conservative PDES Algorithms. |
PADS |
2005 |
DBLP DOI BibTeX RDF |
Sequential Discrete Event Simulation, Parallel Discrete Event Simulation, Conservative Synchronization |
36 | Barry Merriman |
Understanding the Shu-Osher Conservative Finite Difference Form. |
J. Sci. Comput. |
2003 |
DBLP DOI BibTeX RDF |
conservative finite difference, essentially non-oscillatory, ENO, conservation law |
36 | Viliam Solcany, Jirí Safarík |
The lookahead in a user-transparent conservative parallel simulator. |
PADS |
2002 |
DBLP DOI BibTeX RDF |
Conservative Parallel Simulation, User-transparency, Reusability, Lookahead |
36 | James T. Klosowski, Cláudio T. Silva |
Efficient Conservative Visibility Culling Using the Prioritized-Layered Projection Algorithm. |
IEEE Trans. Vis. Comput. Graph. |
2001 |
DBLP DOI BibTeX RDF |
Conservative visibility, interactive rendering, occlusion culling |
36 | JunHyeok Heo, Jaeho Kim, KwangYun Wohn |
Conservative visibility preprocessing for walkthroughs of complex urban scenes. |
VRST |
2000 |
DBLP DOI BibTeX RDF |
Conservative Visibility, Occlusion Culling, Visibility Determination, Visibility Preprocessing |
36 | James B. Hiller, Thomas C. Hartrum |
Conservative Synchronization in Object-Oriented Parallel Battlefield Discrete Event Simulations. |
Workshop on Parallel and Distributed Simulation |
1997 |
DBLP DOI BibTeX RDF |
execution time savings, generic simulation attributes, logical correctness, null message algorithm, parallel battlefield discrete event simulations, simulation system design, spatially decomposed simulation, deadlock, military computing, performance gain, object-oriented simulation, load imbalance, conservative synchronization |
36 | Karim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz |
Distributed Simulation of ECATNets: A Conservative Approach. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
ECATNets, conservative approach, extended concurrent algebraic term nets, high-level algebraic nets, distributed systems specification, parallel systems specification, parallel simulation techniques, distributed discrete event simulation, partitioned model, connected subnets, distributed algorithms, discrete event simulation, process algebra, logical processes |
36 | V. Sanchez, Alfredo Bautista, Francisco Tirado |
Deblocking Event Algorithm: A New Approach to Conservative Parallel Discrete Event Simulation. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
conservative parallel discrete event simulation, distributed event driven simulation, deblocking event algorithm, simulation network structural properties, overhead reduction, network activity, parallel algorithms, discrete event simulation, synchronisation |
36 | Jörg Keller 0001, Thomas Rauber, Bernd Rederlechner |
Conservative Circuit Simulation on Shared-Memory Multiprocessors. |
Workshop on Parallel and Distributed Simulation |
1996 |
DBLP DOI BibTeX RDF |
multiprefix operation, speedup estimation, shared memory multiprocessor, parallel random access machine (PRAM), circuit simulation, conservative simulation |
36 | Xiaohan Qin, Jean-Loup Baer |
A comparative study of conservative and optimistic trace-driven simulations. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
optimistic trace-driven simulations, conservative trace-driven simulations, parallel trace driven simulation, parallel simulation schemes, shared references, Time Warp like algorithm, debugging effort, general architectural simulation, optimistic scheme, parallel algorithms, parallel architectures, virtual machines, multiprocessing systems, multiprocessor systems, memory hierarchy, memory architecture, comparative study, time warp simulation |
36 | Philip Heidelberger, David M. Nicol |
Conservative Parallel Simulation of Continuous Time Markov Chains Using Uniformization. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
queueing networkmodels, conservative parallelsimulation algorithm, Intel iPSC/2 hypercube, Markovprocesses, parallel algorithms, parallel algorithms, discrete event simulation, queueing theory, communications systems, distributed computing systems, uniformization, continuous time Markov chains |
36 | David M. Nicol |
The Cost of Conservative Synchronization in Parallel Discrete Event Simulations. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
conservative synchronization |
34 | Shyam Kapur, Gianfranco Bilardi |
Language Learning without Overgeneralization. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Derek L. Schuff, Yung Ryn Choe, Vijay S. Pai |
Conservative vs. Optimistic Parallelization of Stateful Network Intrusion Detection. |
ISPASS |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Sheng Xu, Leon F. McGinnis |
Optimistic-conservative synchronization in distributed factory simulation. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
33 | 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 |
33 | Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Speculative Beats Conservative Justification. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Ha Yoon Song |
A probabilistic performance model for conservative simulation protocol. |
Workshop on Parallel and Distributed Simulation |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Dragos Lungeanu, C.-J. Richard Shi |
Distributed simulation of VLSI systems via lookahead-free self-adaptive optimistic and conservative synchronization. |
ICCAD |
1999 |
DBLP DOI BibTeX RDF |
|
30 | |
Self-collision Detection for Rigid Non-convex Multi-link Model. |
ICIRA (2) |
2008 |
DBLP DOI BibTeX RDF |
Self-collision detection, non-convex multi-link model, surface convex decomposition, conservative advancement, temporal culling |
30 | Mohammad Reza Mousavi 0001, Michel A. Reniers |
Orthogonal Extensions in Structural Operational Semantics. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality |
30 | António Nogueira, Paulo Salvador 0001, Rui Valadas, António Pacheco 0001 |
Modeling Network Traffic with Multifractal Behavior. |
Telecommun. Syst. |
2003 |
DBLP DOI BibTeX RDF |
multiscaling, fractional Gaussian noise, conservative cascade, self-similar, traffic modeling, L-system, Markov modulated Poisson process, multifractal |
30 | Jason Liu 0001, David M. Nicol |
Lookahead revisited in wireless network simulations. |
PADS |
2002 |
DBLP DOI BibTeX RDF |
conservative parallelsimulation, sensor networks, performance, ad hoc networks, wireless networks, synchronization, parallel simulation, parallel discrete-event simulation, lookahead |
30 | Rob Simmonds, Russell J. Bradford, Brian W. Unger |
Applying parallel discrete event simulation to network emulation. |
PADS |
2000 |
DBLP DOI BibTeX RDF |
computer network emulation, conservative protocol, critical channel traversing, parallel discrete event simulation (PDES), Internet protocol (IP), real-time simulation |
30 | C. S. Raghu, S. Sundaram |
Distributed Logic Simulation Algorithm using Preemption of Inconsistent Events. |
VLSI Design |
1998 |
DBLP DOI BibTeX RDF |
parallel/distributed simulation, conservative logic simulation algorithm, discrete event simulation, Logic simulation |
30 | Rajive L. Bagrodia, Wen-Toh Liao |
Maisie: A Language for the Design of Efficient Discrete-Event Simulations. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
Maisie, C-based discrete-event simulation language, simulation model/algorithm separation, sequential simulation algorithm, parallel conservative algorithm, parallel optimistic algorithm, recomputation overheads, state saving overheads, semantic rollback, lookahead optimization, interrogative simulation, optimizations, parallel algorithms, optimisation, discrete event simulation, synchronisation, distributed simulation, C language, run-time system, simulation languages, language constructs, synchronization overheads |
29 | Xiangzhan Yu, Gang Wu, Dailiang Jin, Wei Li |
Research on Performance Estimation Model of Distributed Network Simulation Based on PDNS Conservative Synchronization Mechanism in Complex Environment. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
distributed network simulation, performance estimation model, PDNS, conservative synchronization |
29 | Tie Wang, Zhiguang Chen, Gaonan Wang, Jianyang Lin |
Conservative Fuzzy Reliability Design of Artificial Limb Rod. |
PACIIA (1) |
2008 |
DBLP DOI BibTeX RDF |
artificial limb, conservative design, lightening, reliability |
29 | Chu-Cheow Lim, Yoke-Hean Low, Wentong Cai 0001 |
A Parallelism Analyzer Algorithm for a Conservative Super-Step Simulation Protocol. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
Parallelism analysis, conservative synchronous simulation protocol |
29 | Tsutomu Sasao, Kozo Kinoshita |
Realization of Minimum Circuits with Two-Input Conservative Logic Elements. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
Conservative logic elements (CLE's), magnetic bubble logic, logic design, logic minimization, switching theory |
29 | Tsutomu Sasao, Kozo Kinoshita |
Cascade Realization of 3-Input 3-Output Conservative Logic Circuits. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
universality of logic elements, Cascade realization, conservative logic element (CLE), logic primitives, magnetic bubble logic, minimum circuit, three-valued logic |
27 | Joaquín Torres-Sospedra, Carlos Hernández-Espinosa, Mercedes Fernández-Redondo |
Improving Adaptive Boosting with a Relaxed Equation to Update the Sampling Distribution. |
IWANN |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Andrea Santoro, Francesco Quaglia |
Transparent Optimistic Synchronization in HLA via a Time-Management Converter. |
PADS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Norihiro Kamide |
Gentzen-Type Methods for Bilattice Negation. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
Bilattice negation, completeness, sequent calculus, substructural logic, strong negation |
27 | Daniel Leivant |
Partial Correctness Assertions Provable in Dynamic Logics. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Léa Meyer |
Comparing the Power of Probabilistic Learning and Oracle Identification Under Monotonicity Constraints. |
ALT |
1998 |
DBLP DOI BibTeX RDF |
|
27 | John L. Ross, Shmuel Sagiv |
Building a Bridge between Pointer Aliases and Program Dependences. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Andreas von Dziegielewski, Rainer Erbes, Elmar Schömer |
Conservative swept volume boundary approximation. |
Symposium on Solid and Physical Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Shafagh Jafer, Gabriel A. Wainer |
Flattened Conservative Parallel Simulator for DEVS and CELL-DEVS. |
CSE (1) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Antony Jameson |
Formulation of Kinetic Energy Preserving Conservative Schemes for Gas Dynamics and Direct Numerical Simulation of One-Dimensional Viscous Compressible Flow in a Shock Tube Using Entropy and Kinetic Energy Preserving Schemes. |
J. Sci. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Alex Aussem, Sergio Rodrigues de Morais |
A Conservative Feature Subset Selection Algorithm with Missing Data. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Kazumi Kumazoe, Cesar Augusto Cavalheiro Marcondes, Mario Gerla, Dirceu Cavendish, Masato Tsuru, Yuji Oie |
Conservative Slow Start: Controlling Losses in Very High Speed Networks. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Jinjie Liu, Hyun-Kyung Lim, James Glimm, Xiaolin Li 0002 |
A Conservative Front Tracking Method in N -Dimensions. |
J. Sci. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Front tracking, discontinuity, conservation |
26 | Niklas Pettersson, Welf Löwe |
A Non-conservative Approach to Software Pattern Detection. |
ICPC |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Valentin Irtegov, Tatyana Titorenko |
On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jan Nordström |
Conservative Finite Difference Formulations, Variable Coefficients, Energy Estimates and Artificial Dissipation. |
J. Sci. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Artificial dissipation, variable coefficients, stability, finite differences, energy estimate |
26 | Steffen Bug, Alexey Nazarov, Kira Kastell, Rolf Jakoby |
Characterizing the Mobile Radio Channel by a Conservative Dynamical System. |
VTC Spring |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Dan Jurca, Pascal Frossard |
Media Streaming with Conservative Delay on Variable Rate Channels. |
ICME |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jérôme Durand-Lose |
Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
2-counter automata, Reversibility, Conservativeness, Turing-computability, Rational numbers, Abstract geometrical computation |
26 | Max Hailperin |
Comparing conservative coalescing criteria. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Copy propagation, graph coloring, register allocation, register coalescing |
26 | Alberto Leporati, Claudio Zandron, Giancarlo Mauri |
Conservative Computations in Energy-Based P Systems. |
Workshop on Membrane Computing |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Andrei A. Bulatov |
Tractable conservative Constraint Satisfaction Problems. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Eugene Asarin, Thao Dang 0001, Antoine Girard |
Reachability Analysis of Nonlinear Systems Using Conservative Approximation . |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Giancarlo Mauri, Alberto Leporati |
On the Computational Complexity of Conservative Computing. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Lingyun Yang, Jennifer M. Schopf, Ian T. Foster |
Conservative Scheduling: Using Predicted Variance to Improve Scheduling Decisions in Dynamic Environments. |
SC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Jerry W. Bruce, Mitchell A. Thornton, L. Shivakumaraiah, P. S. Kokate, X. Li |
Efficient Adder Circuits Based on a Conservative Reversible Logic Gate. |
ISVLSI |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Hans-Juergen Boehm |
Bounding space usage of conservative garbage collectors. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Ludmila I. Kuncheva, Christopher J. Whitaker |
Using Diversity with Three Variants of Boosting: Aggressive, Conservative, and Inverse. |
Multiple Classifier Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Frederick Smith, J. Gregory Morrisett |
Comparing Mostly-Copying and Mark-Sweep Conservative Collection. |
ISMM |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Bev Littlewood, David Wright 0001 |
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing |
26 | Azzedine Boukerche, Sajal K. Das 0001 |
Dynamic Load Balancing Strategies for Conservative Parallel Simulations. |
Workshop on Parallel and Distributed Simulation |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Grigoris Antoniou, Cara MacNish, Norman Y. Foo |
Conservative Expansion Concepts for Default Theories. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
26 | John G. Cleary, Jya-Jang Tsai |
Conservative Parallel Simulation of ATM Networks. |
Workshop on Parallel and Distributed Simulation |
1996 |
DBLP DOI BibTeX RDF |
ATM Networks, Parallel simulation |
26 | Nasser Kalantery |
Real-Time Speed of a Conservative Parallel Simulation. |
HICSS (1) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Yoram Ofek |
A family of conservative codes with block delimiters for decoding without a phase-locked loop. |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Hideki Yanaoka |
Influences of conservative and non-conservative Lorentz forces on energy conservation properties for incompressible magnetohydrodynamic flows. |
J. Comput. Phys. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Reyna Quita, Yu-Shuo Chen, Hsin-Yi Lee, Alex C. Hu, John M. Hong |
Conservative Physics-Informed Neural Networks for Non-Conservative Hyperbolic Conservation Laws Near Critical States. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Ernesto Pimentel-García, Manuel J. Castro, Christophe Chalons, Tomás Morales de Luna, Carlos Parés |
In-cell discontinuous reconstruction path-conservative methods for non conservative hyperbolic systems - Second-order extension. |
J. Comput. Phys. |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3382 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|