Search results for "GASP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
83	Xiaohua Kong, Radu Negulescu	Bolstering Faith in GasP Circuits through Formal Verification.	ASYNC	2004	DBLP DOI BibTeX RDF
83	Ivan E. Sutherland, Scott Fairbanks	GasP: A Minimal FIFO Control.	ASYNC	2001	DBLP DOI BibTeX RDF
83	Khushro Shahookar, Pinaki Mazumder	GASP: a Genetic Algorithm for Standard cell Placement.	EURO-DAC	1990	DBLP DOI BibTeX RDF
71	Raghid Shreih, Maitham Shams	Implementation of asynchronous pipeline circuits in multi-threshold CMOS technologies.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	c-element, gasp, low power, pipeline, asynchronous, multi-threshold
64	Hung-Hsun Su, Dan Bonachea, Adam Leko, Hans Sherburne, Max Billingsley, Alan D. George	GASP! A Standardized Performance Analysis Tool Interface for Global Address Space Programming Models.	PARA	2006	DBLP DOI BibTeX RDF
58	Ayellet Tal, David P. Dobkin	Visualization of Geometric Algorithms.	IEEE Trans. Vis. Comput. Graph.	1995	DBLP DOI BibTeX RDF	three-dimensional geometric algorithms, computational geometry, Algorithm animation
52	Romain Pellerin	The MooDS protocol: a J2ME object-oriented communication protocol.	Mobility Conference	2007	DBLP DOI BibTeX RDF	GASP, J2ME communication protocol, J2ME mobile phone, OMA, object-oriented, communication protocol, multiplayer games, serialization, MooDS
51	Ivo Havlik, Jaroslav Votruba	GASP/S: A GASP IV version with a stiff-ODE integrator.	Simul.	1988	DBLP DOI BibTeX RDF
45	Jo C. Ebergen, Jonathan Gainsley, Jon K. Lexau, Ivan E. Sutherland	GasP Control for Domino Circuits.	ASYNC	2005	DBLP DOI BibTeX RDF
45	Jo C. Ebergen	Squaring the FIFO in GasP.	ASYNC	2001	DBLP DOI BibTeX RDF
45	Thierry Duval, David Margery	Using GASP for Collaborative Interaction within 3D Virtual Worlds.	Virtual Worlds	2000	DBLP DOI BibTeX RDF
25	Harsha Yelchuri, Abhigna V. Kumar, Siddharth Sahu, Savinay Kumar, Shrutkirthi S. Godkhindi, T. V. Prabhakar 0001	GASP: Gap Analysis for Spark Plug.	COMSNETS	2024	DBLP DOI BibTeX RDF
25	Floyd M. Creevey, Charles D. Hill, Lloyd C. L. Hollenberg	GASP - A Genetic Algorithm for State Preparation.	CoRR	2023	DBLP DOI BibTeX RDF
25	Fares Abawi, Tom Weber, Stefan Wermter	GASP: Gated Attention For Saliency Prediction.	CoRR	2022	DBLP DOI BibTeX RDF
25	Alberto Bailoni, Constantin Pape, Nathan Hütsch, Steffen Wolf 0001, Thorsten Beier, Anna Kreshuk, Fred A. Hamprecht	GASP, a generalized framework for agglomerative clustering of signed graphs and its application to Instance Segmentation.	CVPR	2022	DBLP DOI BibTeX RDF
25	Wenqin Dong, Eric Wonhee Lee, Vicki Stover Hertzberg, Roy L. Simpson, Joyce C. Ho	GASP: Graph-Based Approximate Sequential Pattern Mining for Electronic Health Records.	ADBIS (Short Papers)	2021	DBLP DOI BibTeX RDF
25	Fares Abawi, Tom Weber, Stefan Wermter	GASP: Gated Attention for Saliency Prediction.	IJCAI	2021	DBLP DOI BibTeX RDF
25	Rafael G. L. D'Oliveira, Salim El Rouayheb, David A. Karpuk	GASP Codes for Secure Distributed Matrix Multiplication.	IEEE Trans. Inf. Theory	2020	DBLP DOI BibTeX RDF
25	Fabio Massimo Zanzotto, Viviana Bono, Paola Vocca, Andrea Santilli, Danilo Croce, Giorgio Gambosi, Roberto Basili 0001	GASP! Generating Abstracts of Scientific Papers from Abstracts of Cited Papers.	CoRR	2020	DBLP BibTeX RDF
25	Claudia Canali, Riccardo Lancellotti	GASP: Genetic Algorithms for Service Placement in Fog Computing Systems.	Algorithms	2019	DBLP DOI BibTeX RDF
25	Rafael G. L. D'Oliveira, Salim El Rouayheb, David A. Karpuk	GASP Codes for Secure Distributed Matrix Multiplication.	ISIT	2019	DBLP DOI BibTeX RDF
25	Rafael G. L. D'Oliveira, Salim El Rouayheb, David A. Karpuk	GASP Codes for Secure Distributed Matrix Multiplication.	CoRR	2018	DBLP BibTeX RDF
25	Rahul Sawhney, Fuxin Li, Henrik I. Christensen	GASP : Geometric Association with Surface Patches.	CoRR	2014	DBLP BibTeX RDF
25	Rahul Sawhney, Fuxin Li, Henrik I. Christensen	GASP: Geometric Association with Surface Patches.	3DV	2014	DBLP DOI BibTeX RDF
25	Jo C. Ebergen, Bill Coates 0001, Austin Lee	Long-Distance On-chip Communication Using GasP.	ASYNC	2011	DBLP DOI BibTeX RDF
25	Swetha Mettala Gilla, Marly Roncken, Ivan E. Sutherland	Long-Range GasP with Charge Relaxation.	ASYNC	2010	DBLP DOI BibTeX RDF
25	Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland	Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
25	Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi	GASP: Answer Set Programming with Lazy Grounding.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
25	Yanping Lv, Shaozi Li, Changle Zhou, Wenzhong Guo, Zhengming Xu	Improved Genetic Algorithm for Multiple Sequence Alignment Using Segment Profiles (GASP).	ADMA	2006	DBLP DOI BibTeX RDF
25	Alexia Rosari	Amnon Wolman, Ron Kuivila, Phill Niblock: Sound Art at Gasp Neil Leonard, Curator, Gallery Artists Studio Projects, Brookline, Massachusetts, USA, 4/5, 12, 19 March 2005.	Comput. Music. J.	2005	DBLP DOI BibTeX RDF
25	Romain Pellerin, Fabien Delpiano, Eric Gressier-Soudan, Michel Simatic	GASP: un intergiciel pour les jeux en réseaux multijoueurs sur téléphones mobiles.	UbiMob	2005	DBLP DOI BibTeX RDF
25	Richard J. Edwards, Denis C. Shields	GASP: Gapped Ancestral Sequence Prediction for proteins.	BMC Bioinform.	2004	DBLP DOI BibTeX RDF
25	Yogendra Patel, Valerie J. Gillet, Gianpaolo Bravi, Andrew R. Leach	A comparison of the pharmacophore identification programs: Catalyst, DISCO and GASP.	J. Comput. Aided Mol. Des.	2002	DBLP DOI BibTeX RDF
25	Thierry Duval, David Margery	Building objects and interactors for collaborative interactions with GASP.	CVE	2000	DBLP DOI BibTeX RDF
25	Maria Shneerson, Ayellet Tal	GASP-II - A Geometric Algorithm Animation System for an Electronic Classroom.	SCG	1998	DBLP DOI BibTeX RDF
25	Richard Tabors	Reliability: Reality or the Power Engineers' Last Gasp.	HICSS (3)	1998	DBLP DOI BibTeX RDF
25	Stéphane Donikian, Alain Chauffaut, Thierry Duval, Richard Kulpa	GASP: From Modular Programming to Distributed Execution.	CA	1998	DBLP DOI BibTeX RDF
25	Maria Shneerson, Ayellet Tal	GASP-II: A Geometric Algorithm Animation System for an Electronic Classroom.	SCG	1997	DBLP DOI BibTeX RDF
25	Ayellet Tal, David P. Dobkin	GASP: A System to Facilitate Animating Geometric Algorithms.	SCG	1994	DBLP DOI BibTeX RDF
25	Ayellet Tal, David P. Dobkin	GASP - A System for Visualizing Geometric Algorithms.	IEEE Visualization	1994	DBLP DOI BibTeX RDF
25	David P. Dobkin, Ayellet Tal	GASP - An Animation System for Computational Geometry.	CCCG	1994	DBLP BibTeX RDF
25	James W. Hooper, Kevin D. Reilly	The GPSS - GASP combined (GGC) system.	Int. J. Parallel Program.	1983	DBLP DOI BibTeX RDF
25	Magnus Rimvall, François E. Cellier	GASP-VI: ein Simulationspaket für prozess-orientierte gemischt kontinuierliche und diskrete Simulation.	Simulationstechnik	1982	DBLP DOI BibTeX RDF
25	Lawrence L. Rose	Hierarchical modeling in GASP.	ANSS	1981	DBLP BibTeX RDF
25	S. Hurtubise, T. Gavin, A. Girard	Adaptation of the TL event list algorithm to the GASP IV simulation language.	WSC	1981	DBLP BibTeX RDF
25	Jeffery Lee Turek, Elden L. Deporter, Harold A. Kurstedt, Charles E. Rasbach, Steven K. Funk	GASP IV simulation of nuclear waste.	WSC	1981	DBLP BibTeX RDF
25	Darrell W. Starks	GASP IV simulation model for the composites and bonding production facility.	WSC	1978	DBLP BibTeX RDF
25	Robert E. Young, Terrence E. Wilson	A filing system with variable size attributes for the GASP simulation languages.	WSC	1978	DBLP BibTeX RDF
25	Laurence J. Moore, Sang M. Lee, Bernard W. Taylor III	Combined continuous-discrete system simulation with GASP IV.	Comput. Oper. Res.	1977	DBLP DOI BibTeX RDF
25	M. S. Jayakumar, Thomas M. McCalla Jr.	Simulaton of Microprocessor Emulation Using GASP-PL/I.	Computer	1977	DBLP DOI BibTeX RDF
25	Claude Dennis Pegden, Michael P. Gately	Decision optimization for GASP IV simulation models.	WSC	1977	DBLP BibTeX RDF
25	A. Alan B. Pritsker	Introduction to GASP IV.	WSC	1977	DBLP BibTeX RDF
25	Robert L. Fehr, Jay R. Nuckols, Otto J. Loewer, Jerry P. Bowden	GASP iv simulation of flush water recycling systems.	WSC	1977	DBLP BibTeX RDF
25	A. Alan B. Pritsker	Three simulation approaches to queueing studies using GASP IV.	Comput. Ind. Eng.	1976	DBLP DOI BibTeX RDF
25	John A. V. Rogers	GASP: A programmable signal processor.	ICASSP	1976	DBLP DOI BibTeX RDF
25	A. Alan B. Pritsker	GASP IV tutorial.	WSC	1976	DBLP BibTeX RDF
25	A. Alan B. Pritsker	Ongoing developments in GASP.	WSC	1976	DBLP BibTeX RDF
25	M. Wayne Shiveley, Edward M. Salley	The optimal routing of vehicles using the GASP II simulator.	WSC	1974	DBLP DOI BibTeX RDF
25	Alan C. Aho, Donald C. Lavoie, James N. Paprocki	MUSIM: Simulation of music composition using GASP.	WSC	1974	DBLP DOI BibTeX RDF
25	A. Alan B. Pritsker	GASP programming procedures.	WSC	1973	DBLP DOI BibTeX RDF
25	Nicholas R. Hurst, A. Alan B. Pritsker	GASP IV: A combined continuous/discrete, fortran based simulation language.	WSC	1973	DBLP DOI BibTeX RDF
25	A. Alan B. Pritsker	The basics of GASP II: A tutorial.	WSC	1971	DBLP DOI BibTeX RDF
25	Richard O. Hoffman, Paul E. Torgersen	The development and design of the surgical scheduler's hospital management game using GASP II.	WSC	1971	DBLP DOI BibTeX RDF
19	Frankie Liu, Ron Ho, Robert J. Drost, Scott Fairbanks	On-chip samplers for test and debug of asynchronous circuits.	ASYNC	2007	DBLP DOI BibTeX RDF
19	Gennette Gill, Ankur Agiwal, Montek Singh, Feng Shi 0010, Yiorgos Makris	Low-Overhead Testing of Delay Faults in High-Speed Asynchronous Pipelines.	ASYNC	2006	DBLP DOI BibTeX RDF
19	Simon Hollis, Simon W. Moore	An area-efficient, pulse-based interconnect.	ISCAS	2006	DBLP DOI BibTeX RDF
19	Adam Leko, Hung-Hsun Su, Dan Bonachea, Bryan Golden, Max Billingsley, Alan D. George	Poster reception - Parallel performance wizard: a performance analysis tool for partitioned global-address-space programming models.	SC	2006	DBLP DOI BibTeX RDF
19	Simon Hollis, Simon W. Moore	An Asynchronous Interconnect Architecture for Device Security Enhancement.	VLSI Design	2006	DBLP DOI BibTeX RDF
19	Subhash Khot	Guest column: inapproximability results via Long Code based PCPs.	SIGACT News	2005	DBLP DOI BibTeX RDF
19	Yong Xiao, Runde Zhou	Single-track asynchronous pipeline controller design.	ASP-DAC	2005	DBLP DOI BibTeX RDF
19	Morteza Gholipour, Hamid Shojaee, Ali Afzali-Kusha, Ahmad Khademzadeh, Mehrdad Nourani	An efficient model for performance analysis of asynchronous pipeline design methods.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
19	Jo C. Ebergen, Daniel F. Finchelstein, Russell Kao, Jon K. Lexau, David Hopkins 0001	A Fast and Energy-Efficient Stack.	ASYNC	2004	DBLP DOI BibTeX RDF
19	Jo C. Ebergen, Jonathan Gainsley, Paul Cunningham	Transistor Sizing: How to Control the Speed and Energy Consumption of a Circuit.	ASYNC	2004	DBLP DOI BibTeX RDF
19	Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers	Automatic Derivation of Timing Constraints by Failure Analysis.	CAV	2002	DBLP DOI BibTeX RDF	Trace theoretic verification, Timing constraints, Failure analysis, Timed circuits
19	Marcos Ferretti, Peter A. Beerel	Single-Track Asynchronous Pipeline Templates Using 1-of-N Encoding.	DATE	2002	DBLP DOI BibTeX RDF
19	Daniel Teichroew, John Francis Lubin	Computer simulation - discussion of the technique and comparison of languages.	Commun. ACM	1966	DBLP DOI BibTeX RDF