Publications

Export 7151 results:
Author [ Title(Asc)] Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
O
Bright L, Raschid L, Vidal ME.  1998.  Optimization of wrappers and mediators for web accessible data sources (websources). Workshop Web Inf. Data Management (WIDM), Washington DC.
Zelkowitz MV, Bail WG.  2006.  Optimization of structured programs. Software: Practice and Experience. 4(1):51-57.
Bhattacharyya SS, Levine WS.  2006.  Optimization of signal processing software for control system implementation. Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE. :1562-1567.
Taylor EM, Wu M, Martin, M.P.  2007.  Optimization of nonlinear error for weighted essentially non-oscillatory methods in direct numerical simulations of compressible turbulence. Journal of Computational Physics. 223(1):384-397.
Wei Z, JaJa JF.  2010.  Optimization of linked list prefix computations on multithreaded GPUs using CUDA. Parallel Distributed Processing (IPDPS), 2010 IEEE International Symposium on. :1-8.
Narayanan KA, O'Leary DP, Rosenfeld A.  1982.  An Optimization Approach to Edge Reinforcement. IEEE Transactions on Systems, Man, and Cybernetics. SMC-12:551-553.
Cleaveland R, Iyer P, Yankelevich D.  1995.  Optimality in abstractions of model checking. Static Analysis. :51-63.
Amir A, Roussopoulos N.  1990.  Optimal view caching. Information Systems. 15(2):169-171.
Papamanthou C, Tamassia R, Triandopoulos N.  2011.  Optimal Verification of Operations on Dynamic Sets. Advances in Cryptology – CRYPTO 2011. :91-110.
Chakrabarti C, JaJa JF.  1988.  Optimal Systolic Designs for the Computation of the Discrete Hartley and the Discrete Cosine Transforms.
Stroe B, V.S. Subrahmanian, Dasgupta S.  2005.  Optimal status sets of heterogeneous agent programs. Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems. :709-715.
Raman R, Vishkin U.  1994.  Optimal randomized parallel algorithms for computing the row maxima of a totally monotone matrix. Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms. :613-621.
JaJa JF, Ryu KW.  1996.  An optimal randomized parallel algorithm for the single function coarsest partition problem. PPL-Parallel Processing Letters. 6(2):187-194.
Vishkin U.  1985.  Optimal parallel pattern matching in strings. Information and Control. 67(1-3):91-113.
Bar-On I, Vishkin U.  1985.  Optimal parallel generation of a computation tree form. ACM Transactions on Programming Languages and Systems (TOPLAS). 7(2):348-357.
Vishkin U.  1984.  An optimal parallel connectivity algorithm* 1. Discrete applied mathematics. 9(2):197-207.
Goodrich MT, Matias Y, Vishkin U.  1994.  Optimal parallel approximation for prefix sums and integer sorting. Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms. :241-250.
Chang SC, JaJa JF, Ryu KW.  1989.  Optimal parallel algorithms for one-layer routing.
Cole R, Vishkin U.  1988.  Optimal parallel algorithms for expression tree evaluation and list ranking. VLSI Algorithms and Architectures. :91-100.
Vishkin U.  1987.  An optimal parallel algorithm for selection. Parallel and Distributed Computing. 4:79-86.
Sankaranarayanan AC, Chellappa R.  2008.  Optimal Multi-View Fusion of Object Locations. Motion and video Computing, 2008. WMVC 2008. IEEE Workshop on. :1-8.
Spetsakis ME, Aloimonos Y.  1989.  Optimal motion estimation. Workshop on Visual Motion, 1989.,Proceedings. :229-237.
Leone N, Scarcello F, V.S. Subrahmanian.  2004.  Optimal models of disjunctive logic programs: semantics, complexity, and computation. Knowledge and Data Engineering, IEEE Transactions on. 16(4):487-503.
Jacobs DW.  1991.  Optimal matching of planar models in 3D scenes. Computer Vision and Pattern Recognition, 1991. Proceedings CVPR '91., IEEE Computer Society Conference on. :269-274.
Khuller S, Mestre J.  2008.  An Optimal Incremental Algorithm for Minimizing Lateness with Rejection. Algorithms-ESA 2008. :601-610.

Pages