Search results for "algebraic manipulations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Richard C. Holt	Software architecture abstraction and aggregation as algebraic manipulations.	CASCON	1999	DBLP DOI BibTeX RDF
2	Mark J. Clement, Michael J. Quinn	Symbolic performance prediction of scalable parallel programs. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	symbolic performance prediction, scalable parallel programs, massively parallel processing machines, performance prediction methodology, program source code, algebraic manipulations, parallel processing, analytical model, software performance evaluation, program debugging, hardware architectures, symbol manipulation, performance tuning, symbolic analysis, computational problems
1	Tamar Ratner, Ofer Reany, Ehud Keinan	NMR-Based Encoding and Processing of Alphanumeric Information.	UC	2009	DBLP DOI BibTeX RDF
1	Hongbo Li, Lei Huang	Complex brackets, balanced complex differences, and applications in symbolic geometric computing.	ISSAC	2008	DBLP DOI BibTeX RDF	bracket algebra, complex numbers method, graph theory, theorem proving, geometric algebra
1	Pedro Martins Marques, Silvia Almeida Abrantes	On the Derivation of the Exact, Closed-Form Capacity Formulas for Receiver-Sided Correlated MIMO Channels.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
1	Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc	Solving Linear Equations in *-continuous Action Lattices.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Li Chai, Jingxin Zhang, Cishen Zhang, Edoardo Mosca	Frame-Theory-Based Analysis and Design of Oversampled Filter Banks: Direct Computational Method.	IEEE Transactions on Signal Processing	2007	DBLP DOI BibTeX RDF
1	Fotis N. Koumboulis, George E. Panagiotakis	Disturbance Rejection of General Linear Neutral Time Delay Systems, via Measurement Output Feedback.	ETFA	2006	DBLP DOI BibTeX RDF
1	Pablo Robelly, A. Lehmann, Gerhard Fettweis	Two-Dimensional Fast Cosine Transform for Vector-STA Architectures.	SAMOS	2005	DBLP DOI BibTeX RDF
1	Paolo Zuliani	Compiling quantum programs.	Acta Inf.	2005	DBLP DOI BibTeX RDF
1	Stefaan Himpe, Francky Catthoor, Geert Deconinck	Control Flow Analysis for Recursion Removal.	SCOPES	2003	DBLP DOI BibTeX RDF
1	Duminda Wijesekera, Sushil Jajodia	Policy algebras for access control the predicate case.	ACM Conference on Computer and Communications Security	2002	DBLP DOI BibTeX RDF
1	Renaud Rioboo	Towards faster real algebraic numbers.	ISSAC	2002	DBLP DOI BibTeX RDF	algebraic integers, real closure, sub-resultants, fractions, algebraic numbers, real closed fields
1	Jyh-Ming Huang, Chua-Huang Huang, Ted C. Yang	Tensor Product Modeling of Fault Tolerant Multiprocessor Architectures.	ICPADS	2002	DBLP DOI BibTeX RDF
1	Adrien Bartoli	On the Non-linear Optimization of Projective Motion Using Minimal Parameters.	ECCV	2002	DBLP DOI BibTeX RDF
1	Carlos Brito	A New Approach to the Identification Problem.	SBIA	2002	DBLP DOI BibTeX RDF
1	Andrea Piacentini	PALM: A Dynamic Parallel Coupler.	VECPAR	2002	DBLP DOI BibTeX RDF
1	Duminda Wijesekera, Sushil Jajodia	Policy algebras for access control: the propositional case.	ACM Conference on Computer and Communications Security	2001	DBLP DOI BibTeX RDF	policy algebra, access control, security policy, policy composition
1	Eike Best, Thomas Thielke	Orthogonal Transformations for Coloured Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF
1	Ted Stanion, Carl Sechen	Quasi-algebraic decompositions of switching functions.	ARVLSI	1995	DBLP DOI BibTeX RDF	quasi-algebraic decompositions, algebraic product, binary Boolean operation, canonical manner, SSL testable, logic testing, testability, switching functions, switching functions, state assignment, minimisation of switching nets, benchmark circuits, circuit size
1	Shiang-Tang Huang, Tai-Ming Parng, Jyuo-Min Shyu	Timed Boolean calculus and its applications in timing analysis.	IEEE Trans. on CAD of Integrated Circuits and Systems	1994	DBLP DOI BibTeX RDF
1	N. Liu, M. T. Liu	Conformity analysis for communication protocols.	SIGCOMM	1986	DBLP DOI BibTeX RDF	CSP, CSP, CSP
1	Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud	Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees.	IJCAI	1981	DBLP BibTeX RDF
1	Carl H. Brans	A Computer Program for the Nonnumerical Testing and Reduction of Sets of Algebraic Partial Differential Equations.	J. ACM	1967	DBLP DOI BibTeX RDF
1	Arnold Lapidus, Max Goldstein	Some experiments in algebraic manipulation by computer.	Commun. ACM	1965	DBLP DOI BibTeX RDF
1	N. L. Gordon, A. H. Flasterstein	A Note on a Method of Computing the Gamma Function.	J. ACM	1960	DBLP DOI BibTeX RDF