Search results for "dynamic evaluation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Yosuke Kurata, Masayuki Noro	Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation.	ISSAC	2007	DBLP DOI BibTeX RDF	comprehensive gröbner bases, comprehensive gröbner systems, discrete comprehensive gröbner bases, dynamic evaluation, modular dynamic evaluation, von neumann regular rings
2	Anders Magnus Andersen, Torab Torabi	A Dynamic Evaluation Framework for Mobile Applications.	ICCSA	2006	DBLP DOI BibTeX RDF
2	Masayuki Noro	Modular dynamic evaluation.	ISSAC	2006	DBLP DOI BibTeX RDF
2	Anatoly Prihozhy, Marco Mattavelli, Daniel Mlynek	Evaluation of the Parallelization Potential for Efficient Multimedia Implementations: Dynamic Evaluation of Algorithm Critical Path.	IEEE Trans. Circuits Syst. Video Techn.	2005	DBLP DOI BibTeX RDF
1	Chang-Lin Yang, Rong-Hwa Huang	Constructing a dynamic evaluation model for corporate diversification - The thin-film solar cell.	IEEM	2011	DBLP DOI BibTeX RDF
1	Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv	A dynamic evaluation of the precision of static heap abstractions.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Eugenie Lioris, Guy Cohen, Arnaud de La Fortelle	Overview of a dynamic evaluation of collective taxi systems providing an optimal performance.	Intelligent Vehicles Symposium	2010	DBLP DOI BibTeX RDF
1	Laurian C. Vega, Yeong-Tay Sun, D. Scott McCrickard, Steve Harrison	Time: a method of detecting the dynamic variances of trust.	WICOW	2010	DBLP DOI BibTeX RDF	dynamic evaluation, time method, trust, measurement, empirical evaluation, credibility
1	Daniel Schneider, Mario Trapp	Conditional safety certificates in open systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	ad-hoc systems, conditional safety certificates, plug&safe, adaptivity, safety, open systems
1	Mohammad Tehranipoor, Farinaz Koushanfar	A Survey of Hardware Trojan Taxonomy and Detection.	IEEE Design & Test of Computers	2010	DBLP DOI BibTeX RDF	hardware Trojans, Trojan taxonomy and detection, security, design and test, ICs
1	Essi Lahtinen, Tuukka Ahoniemi	Dynamic Evaluation Tree for Presenting Expression Evaluations Visually.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Wei-wei Liu, Chun-sheng Shi	Dynamic Evaluation of University Science Research Capability Based on Fuzzy Theory.	ICFIE	2009	DBLP DOI BibTeX RDF
1	Raffaele Iannone, Salvatore Miranda, Stefano Riemma, Debora Sarno	A Model for Vendor Selection and Dynamic Evaluation.	APMS	2009	DBLP DOI BibTeX RDF
1	David R. McIntyre, Francis G. Wolff, Christos A. Papachristou, Swarup Bhunia	Dynamic Evaluation of Hardware Trust.	HOST	2009	DBLP DOI BibTeX RDF
1	Sami J. Habib	Dynamic Evaluation of Server Placement within a Network Design Tool by using an Embedded Monte Carlo Simulator.	IJBDCN	2008	DBLP DOI BibTeX RDF
1	Liang Ma, Fouad Bennis, Damien Chablat, Wei Zhang 0006	Framework for Dynamic Evaluation of Muscle Fatigue in Manual Handling Work	CoRR	2008	DBLP BibTeX RDF
1	Jianliang You, Avinash K. Bhaskar, Muthukumaran Packirisamy, Rama B. Bhat	Static and dynamic evaluation of Silicon-On-Insulator-based scanning micromirrors.	IJISTA	2008	DBLP DOI BibTeX RDF
1	Wenjian Wang, Liang Ma	An Estimation of the Optimal Gaussian Kernel Parameter for Support Vector Classification.	ISNN	2008	DBLP DOI BibTeX RDF	Bound estimation, Gaussian parameter tuning, Support vector machine, Scale space theory
1	Silvius Rus, Maikel Pennings, Lawrence Rauchwerger	Implementation of Sensitivity Analysis for Automatic Parallelization.	LCPC	2008	DBLP DOI BibTeX RDF
1	Peter Poplavko, Twan Basten, Jef L. van Meerbergen	Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism.	DSD	2007	DBLP DOI BibTeX RDF
1	Yuanzheng Zhong, Feng Dai	A Fuzzy Comprehensive Assessment Model for Reflection of Dominant Factors.	FSKD	2007	DBLP DOI BibTeX RDF
1	Bertrand Ducourthial, Yacine Khaled, Mohamed Shawky	Conditional transmissions, a strategy for highly dynamic vehicular ad hoc networks.	WOWMOM	2007	DBLP DOI BibTeX RDF
1	Leopoldo J. Gutierrez Gutierrez, Francisco J. Martínez-López, Luis M. Molina-Fernández	A dynamic evaluation of factors determining the quality of service perceived by clients: an empirical analysis focused on the consultancy sector.	IJSTM	2006	DBLP DOI BibTeX RDF
1	WenAn Tan, Song Li, Weiming Shen	A Dynamic Evaluation Methodology for Enterprise Business Process.	CSCWD	2006	DBLP DOI BibTeX RDF
1	Kenji Yokoi, Katsumi Watanabe, Takashi Kawai	Dynamic evaluation of distribution of visual attention during playing video game.	Advances in Computer Entertainment Technology	2006	DBLP DOI BibTeX RDF
1	Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke	Comparing Three Formal Analysis Approaches of the Tropos Family.	AOIS	2006	DBLP DOI BibTeX RDF
1	Maíra Ribeiro Rodrigues, Michael Luck	Evaluating Dynamic Services in Bioinformatics.	CIA	2006	DBLP DOI BibTeX RDF
1	Shuguang Zhao, Xinquan Lai, Mingying Zhao	A Uniform-Design Based Multi-objective Adaptive Genetic Algorithm and Its Application to Automated Design of Electronic Circuits.	ICNC	2006	DBLP DOI BibTeX RDF
1	Jianjun Yu, Shudong Sun, Jinghui Hao	Flexible Dynamic Scheduling Based on Immune Algorithm.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Flexible manufacturing cell dynamic scheduling, Temporary solution set, Rolling-disturb hybrid rescheduling policy, Immune algorithm
1	Timothy Roden, Ian Parberry	Portholes and planes: faster dynamic evaluation of potentially visible sets.	Computers in Entertainment	2005	DBLP DOI BibTeX RDF	portal rendering, visibility, occlusion culling
1	Piotr Sankowski	Dynamic Transitive Closure via Dynamic Matrix Inverse (Extended Abstract).	FOCS	2004	DBLP DOI BibTeX RDF
1	Günter Gans, Dominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer	SNet Reloaded: Roles, Monitoring and Agent Evolution.	AOIS	2004	DBLP DOI BibTeX RDF
1	Dominik Schmitz, Gerhard Lakemeyer, Günter Gans, Matthias Jarke	Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks.	OTM Workshops	2004	DBLP DOI BibTeX RDF
1	Sea Woo Kim, Chin-Wan Chung	Ranking Web Documents with Dynamic Evaluation by Expert Groups.	CAiSE	2003	DBLP DOI BibTeX RDF
1	Günter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz	Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks.	CAiSE	2003	DBLP DOI BibTeX RDF
1	Günter Gans, Gerhard Lakemeyer, Matthias Jarke, Thomas Vits	SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog.	CAiSE	2002	DBLP BibTeX RDF
1	Rachel A. Bourne, Karen Shoop, Nicholas R. Jennings	Dynamic Evaluation of Coordination Mechanisms for Autonomous Agents.	EPIA	2001	DBLP DOI BibTeX RDF
1	Gopal Pandurangan, Eli Upfal	Static and Dynamic Evaluation of QoS Properties.	Journal of Interconnection Networks	2000	DBLP BibTeX RDF
1	Hai Zhuge, Xiaoqing Shi	Dynamic evaluation approach for virtual conflict decision training.	IEEE Transactions on Systems, Man, and Cybernetics, Part C	2000	DBLP DOI BibTeX RDF
1	Gopal Pandurangan, Eli Upfal	Static and Dynamic Evaluation of QoS Properties.	STOC	1999	DBLP DOI BibTeX RDF
1	Gudmund Skovbjerg Frandsen, Johan P. Hansen, Peter Bro Miltersen	Lower Bounds for Dynamic Algebraic Problems.	STACS	1999	DBLP DOI BibTeX RDF
1	Neil Immerman, Moshe Y. Vardi	Model Checking and Transitive-Closure Logic.	CAV	1997	DBLP DOI BibTeX RDF
1	Paul Petersen, David A. Padua	Static and Dynamic Evaluation of Data Dependence Analysis Techniques.	IEEE Trans. Parallel Distrib. Syst.	1996	DBLP DOI BibTeX RDF	parallelism detection, evaluation of compiler techniques, compiler optimizations, Dependence analysis, automatic parallelization
1	Peter A. Broadbery, T. Gómez-Díaz, Stephen M. Watt	On the Implementation of Dynamic Evaluation.	ISSAC	1995	DBLP DOI BibTeX RDF	C, SCHEME
1	Dominique Duval	Algebraic Numbers: An Example of Dynamic Evaluation.	J. Symb. Comput.	1994	DBLP DOI BibTeX RDF
1	Dominique Duval, Jean-Claude Reynaud	Sketches and Computation - II: Dynamic Evaluation and Applications.	Mathematical Structures in Computer Science	1994	DBLP DOI BibTeX RDF
1	JingXiang He, Kenneth A. Griggs	A Tool for Hypertext-Based Systems Analysis and Dynamic Evaluation.	HICSS	1994	DBLP BibTeX RDF
1	Paul Petersen, David A. Padua	Static and Dynamic Evaluation of Data Dependence Analysis.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
1	Wojciech E. Kozlowski, Henryk Krawczyk	SEES: Simulation Environment for Dynamic Evaluation.	Fault-Tolerant Computing Systems	1991	DBLP BibTeX RDF
1	Christian Queinnec, Julian A. Padget	A Proposal for a Modular Lisp with Macros and Dynamic Evaluation.	JTASPEFT/WSA	1991	DBLP BibTeX RDF
1	Lars Langemyr	Algorithms for a Multiple Algebraic Extension II.	AAECC	1991	DBLP DOI BibTeX RDF
1	James F. Peters, Sheela Ramanna, E. A. Unger	Logic of Knowledge and Belief in the Design of an Integrity Kernel for an Office Information System (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
1	Henk Alblas	Concurrent Incremental Attribute Evaluation.	WAGA	1990	DBLP DOI BibTeX RDF
1	Witold Paluszynski, Ira Kalet	Design Optimization Using Dynamic Evaluation.	IJCAI	1989	DBLP BibTeX RDF
1	Martin Jourdan	Strongly non-circular attribute grammars and their recursive evaluation.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF	circularity tests, evaluation by need, recursive evaluation, Lisp, storage management, Attribute grammars
1	W. M. Gaines, L. A. Goshorn, R. G. Livingston	Analog computers for the dynamic evaluation of on-line digital control computer programs.	Automatica	1965	DBLP DOI BibTeX RDF