Tim Hickey
Tim Hickey
Professor of Computer Science, Brandeis University
brandeis.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Interval arithmetic: From principles to implementation
T Hickey, Q Ju, MH Van Emden
Journal of the ACM (JACM) 48 (5), 1038-1068, 2001
3922001
Two algorithms for determining volumes of convex polyhedra
J Cohen, T Hickey
Journal of the ACM (JACM) 26 (3), 401-414, 1979
1161979
Structure and visualization of high-dimensional conductance spaces
AL Taylor, TJ Hickey, AA Prinz, E Marder
Journal of Neurophysiology 96 (2), 891-905, 2006
1082006
Uniform random generation of strings in a context-free language
T Hickey, J Cohen
SIAM Journal on Computing 12 (4), 645-655, 1983
861983
Automating program analysis
T Hickey, J Cohen
Journal of the ACM (JACM) 35 (1), 185-220, 1988
811988
Parsing and compiling using prolog
J Cohen, TJ Hickey
ACM Transactions on Programming Languages and Systems (TOPLAS) 9 (2), 125-163, 1987
811987
Global compilation of Prolog
T Hickey, S Mudambi
The Journal of Logic Programming 7 (3), 193-230, 1989
691989
Performance analysis of on-the-fly garbage collection
T Hickey, J Cohen
Communications of the ACM 27 (11), 1143-1154, 1984
581984
Rigorous modeling of hybrid systems using interval arithmetic constraints
TJ Hickey, DK Wittenberg
International Workshop on Hybrid Systems: Computation and Control, 402-416, 2004
472004
Upper bounds for speedup in parallel parsing
J Cohen, T Hickey, J Katcoff
Journal of the ACM (JACM) 29 (2), 408-428, 1982
391982
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
351998
Scheme-based web programming as a basis for a CS0 curriculum
TJ Hickey
Proceedings of the 35th SIGCSE technical symposium on Computer science …, 2004
302004
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
292004
CLIP: a CLP (Intervals) dialect for metalevel constraint solving
TJ Hickey
International Symposium on Practical Aspects of Declarative Languages, 200-214, 2000
292000
Partial evaluation of a CLP language
DA Smith, TJ Hickey
Proceedings of the 1990 North American conference on Logic programming, 119-138, 1990
291990
CLP (F) and constrained ODEs
TJ Hickey
Proceedings of the Workshop on Constraint Languages and their use in Problem …, 1994
281994
Toward the partial evaluation of CLP languages
TJ Hickey, DA Smith
ACM SIGPLAN Notices 26 (9), 43-51, 1991
261991
Analytic constraint solving and interval arithmetic
TJ Hickey
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
232000
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
212000
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
202005
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20