John Guttag
John Guttag
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei mit.edu
Titel
Zitiert von
Zitiert von
Jahr
Eulerian video magnification for revealing subtle changes in the world
HY Wu, M Rubinstein, E Shih, J Guttag, F Durand, W Freeman
ACM transactions on graphics (TOG) 31 (4), 1-8, 2012
13092012
Larch: languages and tools for formal specification
JV Guttag, JJ Horning
Springer Science & Business Media, 2012
11392012
Cutting the electric bill for internet-scale systems
A Qureshi, R Weber, H Balakrishnan, J Guttag, B Maggs
Proceedings of the ACM SIGCOMM 2009 conference on Data communication, 123-134, 2009
10482009
ANTS: A toolkit for building and dynamically deploying network protocols
DJ Wetherall, JV Guttag, DL Tennenhouse
1998 IEEE Open Architectures and Network Programming, 117-129, 1998
10251998
Abstraction and specification in program development
B Liskov, J Guttag
MIT press, 1986
9261986
The algebraic specification of abstract data types
JV Guttag, JJ Horning
Acta informatica 10 (1), 27-52, 1978
7821978
Abstract data types and the development of data structures
J Guttag
Communications of the ACM 20 (6), 396-404, 1977
6801977
Application of machine learning to epileptic seizure onset detection and treatment
AH Shoeb
Massachusetts Institute of Technology, 2009
6002009
Abstract data types and software validation
JV Guttag, E Horowitz, DR Musser
Communications of the ACM 21 (12), 1048-1064, 1978
5781978
Detecting pulse from head motions in video
G Balakrishnan, F Durand, J Guttag
Proceedings of the IEEE Conference on Computer Vision and Pattern …, 2013
5762013
A micro-power EEG acquisition SoC with integrated feature extraction processor for a chronic seizure detection system
N Verma, A Shoeb, J Bohorquez, J Dawson, J Guttag, AP Chandrakasan
IEEE journal of solid-state circuits 45 (4), 804-816, 2010
5342010
Application of machine learning to epileptic seizure detection
AH Shoeb, JV Guttag
ICML, 2010
4862010
The specification and application to programming of abstract data types.
JV Guttag
University of Toronto, 1975
4741975
Voxelmorph: a learning framework for deformable medical image registration
G Balakrishnan, A Zhao, MR Sabuncu, J Guttag, AV Dalca
IEEE transactions on medical imaging 38 (8), 1788-1800, 2019
4722019
The Larch Family of Specification Languages.
JV Guttag, JJ Horning, JM Wing
IEEE Softw. 2 (5), 24-36, 1985
4121985
Patient-specific seizure onset detection
A Shoeb, H Edwards, J Connolly, B Bourgeois, ST Treves, J Guttag
Epilepsy & Behavior 5 (4), 483-498, 2004
3802004
LCLint: A tool for using specifications to check code
D Evans, J Guttag, J Horning, YM Tan
ACM SIGSOFT Software Engineering Notes 19 (5), 87-96, 1994
3771994
Program development in JAVA: abstraction, specification, and object-oriented design
B Liskov, J Guttag
Pearson Education, 2000
3632000
Time-based Fairness Improves Performance in Multi-Rate WLANs.
G Tan, JV Guttag
USENIX annual technical conference, general track, 269-282, 2004
3542004
An unsupervised learning model for deformable medical image registration
G Balakrishnan, A Zhao, MR Sabuncu, J Guttag, AV Dalca
Proceedings of the IEEE conference on computer vision and pattern …, 2018
3472018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20