Tim Hickey
Tim Hickey
Professor of Computer Science, Brandeis University
brandeis.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Alıntı yapanlar
Alıntı yapanlar
Interval arithmetic: From principles to implementation
T Hickey, Q Ju, MH Van Emden
Journal of the ACM (JACM) 48 (5), 1038-1068, 2001
Two algorithms for determining volumes of convex polyhedra
J Cohen, T Hickey
Journal of the ACM (JACM) 26 (3), 401-414, 1979
Structure and visualization of high-dimensional conductance spaces
AL Taylor, TJ Hickey, AA Prinz, E Marder
Journal of Neurophysiology 96 (2), 891-905, 2006
Uniform random generation of strings in a context-free language
T Hickey, J Cohen
SIAM Journal on Computing 12 (4), 645-655, 1983
Automating program analysis
T Hickey, J Cohen
Journal of the ACM (JACM) 35 (1), 185-220, 1988
Parsing and compiling using prolog
J Cohen, TJ Hickey
ACM Transactions on Programming Languages and Systems (TOPLAS) 9 (2), 125-163, 1987
Global compilation of Prolog
T Hickey, S Mudambi
The Journal of Logic Programming 7 (3), 193-230, 1989
Performance analysis of on-the-fly garbage collection
T Hickey, J Cohen
Communications of the ACM 27 (11), 1143-1154, 1984
Rigorous modeling of hybrid systems using interval arithmetic constraints
TJ Hickey, DK Wittenberg
International Workshop on Hybrid Systems: Computation and Control, 402-416, 2004
Upper bounds for speedup in parallel parsing
J Cohen, T Hickey, J Katcoff
Journal of the ACM (JACM) 29 (2), 408-428, 1982
A unified framework for interval constraints and interval arithmetic
TJ Hickey, MH van Emden, H Wu
International Conference on Principles and Practice of Constraint …, 1998
Scheme-based web programming as a basis for a CS0 curriculum
TJ Hickey
Proceedings of the 35th SIGCSE technical symposium on Computer science …, 2004
CLIP: a CLP (Intervals) dialect for metalevel constraint solving
TJ Hickey
International Symposium on Practical Aspects of Declarative Languages, 200-214, 2000
Partial evaluation of a CLP language
DA Smith, TJ Hickey
Proceedings of the 1990 North American conference on Logic programming, 119-138, 1990
Integrating tools and resources: a case study in building educational groupware for collaborative programming
J Langton, T Hickey, R Alterman
learning 10 (12), 11, 2004
CLP (F) and constrained ODEs
TJ Hickey
Proceedings of the Workshop on Constraint Languages and their use in Problem …, 1994
Toward the partial evaluation of CLP languages
TJ Hickey, DA Smith
ACM SIGPLAN Notices 26 (9), 43-51, 1991
Analytic constraint solving and interval arithmetic
TJ Hickey
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
Interval constraint plotting for interactive visual exploration of implicitly defined relations
TJ Hickey, Z Qju, MH Van Emden
Reliable Computing 6 (1), 81-92, 2000
Enhancing CS programming lab courses using collaborative editors
TJ Hickey, J Langton, R Alterman
Journal of Computing Sciences in Colleges 20 (3), 157-167, 2005
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20