Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Meera Sitharam, Adam Arbree, Yong Zhou 0002, Naganandhini Kohareswaran |
Solution space navigation for geometric constraint systems. |
ACM Trans. Graph. |
2006 |
DBLP DOI BibTeX RDF |
Root selection for geometric constraint systems, constraint graphs, cyclical and 3D geometric constraint systems, decomposition of geometric constraint systems, degree of freedom analysis, feature-based and assembly modeling, underconstrained and overconstrained systems, variational geometric constraint solving, well constrained systems, conceptual design |
11 | Peter Kemper, Dennis Müller 0003, Axel Thümmler |
Combining Response Surface Methodology with Numerical Methods for Optimization of Markovian Models. |
IEEE Trans. Dependable Secur. Comput. |
2006 |
DBLP DOI BibTeX RDF |
structured and very large systems, Markov processes, communication networks, Constrained optimization, sparse, performance analysis and design aids |
11 | Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano |
Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Gara Miranda-Valladares, Coromoto León |
OpenMP Skeletons for Tree Searches. |
PDP |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Marc Herbstritt, Bernd Becker 0001, Christoph Scholl 0001 |
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. |
MTV |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Ozcan Ozturk 0001, G. Chen, Mahmut T. Kandemir, Mustafa Karaköy |
An Integer Linear Programming Based Approach to Simultaneous Memory Space Partitioning and Data Allocation for Chip Multiprocessors. |
ISVLSI |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Lutz Gross, Ben Cumming, Ken Steube, Dion Weatherley |
A Python Module for PDE-Based Numerical Modelling. |
PARA |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Siamak Tazari, Matthias Müller-Hannemann, Karsten Weihe |
Workload Balancing in Multi-stage Production Processes. |
WEA |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Xuan Zeng 0001, Lihong Feng, Yangfeng Su, Wei Cai 0003, Dian Zhou, Charles C. Chiang |
Time domain model order reduction by wavelet collocation method. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders |
Data Analysis and Visualization within the Möbius Modeling Environment. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
Implementation and Experimentation of the Logic Language NP Datalog. |
DEXA |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Jun-ichi Imura, Hiromichi Matsushima |
Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino |
A Functorial Framework for Constraint Normal Logic Programming. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
11 | James J. Lu, M. Jeremy Scoggins |
Specifying and solving Boolean constraint problems in relational databases: a case study. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
|
11 | José M. Badía, Peter Benner, Rafael Mayo 0002, Enrique S. Quintana-Ortí |
Parallel Solution of Large-Scale and Sparse Generalized Algebraic Riccati Equations. |
Euro-Par |
2006 |
DBLP DOI BibTeX RDF |
generalized algebraic Riccati equation, Newton’s method, generalized Lyapunov equation, LR-ADI iteration, parallel algorithms |
11 | Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand |
An optimal approach to the task allocation problem on hierarchical architectures. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Shujun Deng, Weimin Wu, Jinian Bian |
Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. |
CSCWD (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Jeffrey H. Kingston |
The KTS High School Timetabling System. |
PATAT |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Sergey P. Shlepakov |
Functional Equations in Shostak Theories. |
CSR |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Hossein M. Sheini, Karem A. Sakallah |
From Propositional Satisfiability to Satisfiability Modulo Theories. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Daijue Tang, Sharad Malik |
Solving Quantified Boolean Formulas with Circuit Observability Don't Cares. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Hantao Zhang 0001 |
A Complete Random Jump Strategy with Guiding Paths. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Ilya Mironov, Lintao Zhang |
Applications of SAT Solvers to Cryptanalysis of Hash Functions. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Marc Thurley |
sharpSAT - Counting Models with Advanced Component Caching and Implicit BCP. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Yu Liang, Ramdev Kanapady, Kumar K. Tamma |
An Efficient Parallel Finite-Element-Based Domain Decomposition Iterative Technique With Polynomial Preconditioning. |
ICPP Workshops |
2006 |
DBLP DOI BibTeX RDF |
distributed format, polynomial preconditioner, finite element, domain decomposition, linear equations, GMRES |
11 | Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes |
Towards Solving Many-Valued MaxSAT. |
ISMVL |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Ralf Deiterding, Fehmi Cirak, Sean Mauch, Daniel I. Meiron |
A Virtual Test Facility for Simulating Detonation-Induced Fracture of Thin Flexible Shells. |
International Conference on Computational Science (2) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu |
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Ian P. Gent, Christopher Jefferson, Ian Miguel |
Watched Literals for Constraint Propagation in Minion. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Bertrand Neveu, Gilles Chabert, Gilles Trombettoni |
When Interval Analysis Helps Inter-block Backtracking. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Hyondeuk Kim, Fabio Somenzi |
Finite Instantiations for Integer Difference Logic. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Tim Hultberg |
FLOPC++ An Algebraic Modeling Language Embedded in C++. |
OR |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Irene Moser, Tim Hendtlass |
On the Behaviour of Extremal Optimisation When Solving Problems with Hidden Dynamics. |
IEA/AIE |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Chuanyi Yang, Swagato Chakraborty, Dipanjan Gope, Vikram Jandhyala |
A parallel low-rank multilevel matrix compression algorithm for parasitic extraction of electrically large structures. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
parallel, MPI, compression, parasitics |
11 | Mukul R. Prasad, Armin Biere, Aarti Gupta |
A survey of recent advances in SAT-based formal verification. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Model checking, Verification, ATPG, SAT, QBF |
11 | Bing Li, Chao Wang 0001, Fabio Somenzi |
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Unsatisfiability proof, Bounded model checking, Satisfiability problem, Abstraction refinement |
11 | Mark H. Carpenter, C. A. Kennedy, Hester Bijl, S. A. Viken, Veer N. Vatsa |
Fourth-Order Runge-Kutta Schemes for Fluid Mechanics Applications. |
J. Sci. Comput. |
2005 |
DBLP DOI BibTeX RDF |
backward differentiation formulae, modified extended efficiency, convection-diffusion-reaction, turbulence, time discretization, Runge-Kutta, High-order |
11 | Bernard Jurkowiak, Chu Min Li, Gil Utard |
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
parallelism, automated theorem proving, SAT problem |
11 | Jesús Manuel Almendros-Jiménez, Antonio Corral |
Solving Constraints on Sets of Spatial Objects. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Bauer 0002 |
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
formal specification, model based reasoning, system monitoring, model based diagnosis, SAT-solving |
11 | Chao Wang 0001, Franjo Ivancic, Malay K. Ganai, Aarti Gupta |
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. |
MTV |
2005 |
DBLP DOI BibTeX RDF |
|
11 | ShengYu Shen, Ying Qin, Sikun Li |
A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Xun Liu, Yuantao Peng, Marios C. Papaefthymiou |
RIP: An Efficient Hybrid Repeater Insertion Scheme for Low Power. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
11 | ShengYu Shen, Ying Qin, Sikun Li |
A fast counterexample minimization approach with refutation analysis and incremental SAT. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Gara Miranda-Valladares, Coromoto León |
An OpenMP Skeleton for the A* Heuristic Search. |
HPCC |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Paola Belardini, Claudio Bertoli, Stefania Corsaro, Pasqua D'Ambra |
The Impact of Different Stiff ODE Solvers in Parallel Simulation of Diesel Combustion. |
HPCC |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Horacio Martinez-Alfaro, Griselda P. Cervantes-Casillas |
Performance Improvement of Ad-Hoc Networks by Using a Behavior-Based Architecture. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Ovidiu Daescu, James D. Palmer |
1-link shortest paths in weighted regions. |
SCG |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Edmond S. L. Ho, Taku Komura, Rynson W. H. Lau |
Computing inverse kinematics with linear programming. |
VRST |
2005 |
DBLP DOI BibTeX RDF |
real-time motion synthesis, linear programming, inverse kinematics |
11 | Daniela Vasileva, Anton Kuut, Pieter W. Hemker |
An Adaptive Multigrid Strategy for Convection-Diffusion Problems. |
LSSC |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Ludovic Langevine |
Gentra4cp: A Generic Trace Format for Constraint Programming. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Ozcan Ozturk 0001, Mahmut T. Kandemir, Mary Jane Irwin |
Increasing on-chip memory space utilization for embedded chip multiprocessors through data compression. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
data compression, chip multiprocessors, optimizing compiler |
11 | Nachum Dershowitz, Ziyad Hanna, Alexander Nadel |
A Clause-Based Heuristic for SAT Solvers. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard |
Optimizations for Compiling Declarative Models into Boolean Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Gilles Audemard, Lakhdar Sais |
A Symbolic Search Based Approach for Quantified Boolean Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
Satisfiability, Binary decision diagram, Quantified boolean formula |
11 | Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand |
Scheduling Distributed Real-Time Systems by Satisfiability Checking. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Spencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee |
Guided Complete Search for Nurse Rostering Problem. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Tan Saw Chin |
An Ant Algorithm for Single-Hop Wavelength Assignment in WDM Mesh Network. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Arnaud Lallouet, Andrei Legtchenko |
Consistency for Partially Defined Constraints. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Kameshwar Chandrasekar, Michael S. Hsiao |
State Set Management for SAT-based Unbounded Model Checking. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Angela Liew, David Sundaram |
Complex Decision Making Processes: their Modelling and Support. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano |
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Horst Samulowitz, Fahiem Bacchus |
Using SAT in QBF. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Hadrien Cambazard, Narendra Jussien |
Integrating Benders Decomposition Within Constraint Programming. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Tariq Omari, Greg Franks, C. Murray Woodside, Amy Pan |
Solving layered queueing networks of large client-server systems with symmetric replication. |
WOSP |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Kazuhisa Chiba, Shigeru Obayashi, Kazuhiro Nakahashi, Hiroyuki Morino |
High-Fidelity Multidisciplinary Design Optimization of Wing Shape for Regional Jet Aircraft. |
EMO |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Gabriella Cortellessa, Vittoria Giuliani, Massimiliano Scopelliti, Amedeo Cesta |
Key Issues in Interactive Problem Solving: An Empirical Investigation on Users Attitude. |
INTERACT |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Andrew W. Cook, William H. Cabot, Peter L. Williams, Brian J. Miller, Bronis R. de Supinski, Robert K. Yates, Michael L. Welcome |
Tera-Scalable Algorithms for Variable-Density Elliptic Hydrodynamics with Spectral Accuracy. |
SC |
2005 |
DBLP DOI BibTeX RDF |
|
11 | ShengYu Shen, Ying Qin, Sikun Li |
Minimizing Counterexample with Unit Core Extraction and Incremental SAT. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Intae Kang, Radha Poovendran |
Iterated Local Optimization for Minimum Energy Broadcast. |
WiOpt |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Hamid Reza Ghasemi, Zainalabedin Navabi |
An Effective VHDL-AMS Simulation Algorithm with Event Partitioning. |
VLSI Design |
2005 |
DBLP DOI BibTeX RDF |
|
11 | ManMohan S. Sodhi, Stephen Norris |
A Flexible, Fast, and Optimal Modeling Approach Applied to Crew Rostering at London Underground. |
Ann. Oper. Res. |
2004 |
DBLP DOI BibTeX RDF |
crew rostering, rota, cyclic graph, aggregation, decomposition, mixed-integer linear programming |
11 | A. Ismael F. Vaz, Edite M. G. P. Fernandes, M. Paula S. F. Gomes |
SIPAMPL: Semi-infinite programming with AMPL. |
ACM Trans. Math. Softw. |
2004 |
DBLP DOI BibTeX RDF |
Evaluation tools, test problems, semi-infinite programming |
11 | S. Peigin, Boris Epstein 0002 |
Embedded Parallelization Approach for Optimization in Aerodynamic Design. |
J. Supercomput. |
2004 |
DBLP DOI BibTeX RDF |
embedded parallelization, aerodynamic design, otimization, genetic algorithms, CFD |
11 | S. Peigin, Boris Epstein 0002, T. Rubin, S. Seror |
Parallel Large Scale High Accuracy Navier-Stokes Computations on Distributed Memory Clusters. |
J. Supercomput. |
2004 |
DBLP DOI BibTeX RDF |
three-dimensional (3D), compressible, CFD, PVM, parallel implementation, Navier-Stokes equations, turbulent flows |
11 | Yunong Zhang, Shuzhi Sam Ge, Tong Heng Lee |
A unified quadratic-programming-based dynamical system approach to joint torque optimization of physically constrained redundant manipulators. |
IEEE Trans. Syst. Man Cybern. Part B |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Olaf Schenk, Stefan Röllin, Anshul Gupta |
The effects of unsymmetric matrix permutations and scalings in semiconductor device and circuit simulation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Yezid Donoso, Ramón Fabregat, José-Luis Marzo |
A Multi-Objective Optimization Scheme for Multicast Routing: A Multitree Approach. |
Telecommun. Syst. |
2004 |
DBLP DOI BibTeX RDF |
optimization, load balancing, multicast, traffic engineering, mathematical programming |
11 | Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
DPLL( T): Fast Decision Procedures. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Dawen Xie, Nancy M. Amato |
A Kinematics-based Probabilistic Roadmap Method for High DOF Closed Chain Systems. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Masha Sosonkina |
Adapting Distributed Scientific Applications to Run-Time Network Conditions. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Henrik Johansson, Dan Wallin, Sverker Holmgren |
Analyzing Advanced PDE Solvers Through Simulation. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Christophe Wolinski, Krzysztof Kuchcinski, Maya B. Gokhale |
A constraints programming approach to communication scheduling on SoPC architectures. |
FPGA |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Miroslav N. Velev |
Efficient translation of boolean formulas to CNF in formal verification of microprocessors. |
ASP-DAC |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Ondrej Medek, Pavel Tvrdík, Jaroslav Kruis |
Load and Memory Balanced Mesh Partitioning for a Parallel Envelope Method. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Karl Fürlinger, Olaf Schenk, Michael Hagemann |
Task-Queue Based Hybrid Parallelism: A Case Study. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey |
Compiling Ask Constraints. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Natarajan Viswanathan, Chris C. N. Chu |
FastPlace: efficient analytical placement using cell shifting, iterative local refinement and a hybrid net model. |
ISPD |
2004 |
DBLP DOI BibTeX RDF |
net models, analytical placement, standard cell placement |
11 | Roman Barták |
Effective Modeling with Constraints. |
INAP/WLP |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Xiang Wu, Wenkai Lu |
Nested Buffer SMO Algorithm for Training Support Vector Classifiers. |
ISNN (1) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Marco Benedetti, Sara Bernardini |
Incremental Compilation-to-SAT Procedures. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Bing Li, Fabio Somenzi |
Efficient computation of small abstraction refinements. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Tobias Schubert 0001, Bernd Becker 0001 |
Parallel SAT Solving with Microcontrollers. |
AACC |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Ondrej Medek, Pavel Tvrdík |
Variable Reordering for a Parallel Envelope Method. |
ICPP Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Harald Köstler, Ulrich Rüde |
Extrapolation Techniques for Computing Accurate Solutions of Elliptic Problems with Singular Solutions. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Andrew H. C. Gosline, Septimiu E. Salcudean, Joseph Yan |
Haptic Simulation of Linear Elastic Media with Fluid Pockets. |
HAPTICS |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Wei Li 0002, Peter van Beek |
Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Bradley T. Vander Zanden, David K. Baker, Jing Jin |
An explanation-based, visual debugger for one-way constraints. |
UIST |
2004 |
DBLP DOI BibTeX RDF |
one-way constraints, data structures, constraint satisfaction, software visualization, visual debugging |
11 | Peter Zoeteweij |
Constraining Special-Purpose Domain Types. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|