Search results for "GASP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	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
2	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
2	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
2	Jo C. Ebergen, Jonathan Gainsley, Jon K. Lexau, Ivan E. Sutherland	GasP Control for Domino Circuits.	ASYNC	2005	DBLP DOI BibTeX RDF
2	Xiaohua Kong, Radu Negulescu	Bolstering Faith in GasP Circuits through Formal Verification.	ASYNC	2004	DBLP DOI BibTeX RDF
2	Ivan E. Sutherland, Scott Fairbanks	GasP: A Minimal FIFO Control.	ASYNC	2001	DBLP DOI BibTeX RDF
2	Jo C. Ebergen	Squaring the FIFO in GasP.	ASYNC	2001	DBLP DOI BibTeX RDF
2	Thierry Duval, David Margery	Using GASP for Collaborative Interaction within 3D Virtual Worlds.	Virtual Worlds	2000	DBLP DOI BibTeX RDF
2	Khushro Shahookar, Pinaki Mazumder	GASP: a Genetic Algorithm for Standard cell Placement.	EURO-DAC	1990	DBLP DOI BibTeX RDF
1	Jo C. Ebergen, Bill Coates, Austin Lee	Long-Distance On-chip Communication Using GasP.	ASYNC	2011	DBLP DOI BibTeX RDF
1	Swetha Mettala Gilla, Marly Roncken, Ivan Sutherland	Long-Range GasP with Charge Relaxation.	ASYNC	2010	DBLP DOI BibTeX RDF
1	Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan Sutherland	Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
1	Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi	GASP: Answer Set Programming with Lazy Grounding.	Fundam. Inform.	2009	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	Gennette Gill, Ankur Agiwal, Montek Singh, Feng Shi, Yiorgos Makris	Low-Overhead Testing of Delay Faults in High-Speed Asynchronous Pipelines.	ASYNC	2006	DBLP DOI BibTeX RDF
1	Simon Hollis, Simon W. Moore	An area-efficient, pulse-based interconnect.	ISCAS	2006	DBLP DOI BibTeX RDF
1	Simon Hollis, Simon W. Moore	An Asynchronous Interconnect Architecture for Device Security Enhancement.	VLSI Design	2006	DBLP DOI BibTeX RDF
1	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
1	Xiao Yong, Zhou Runde	Single-track asynchronous pipeline controller design.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Subhash Khot	Guest column: inapproximability results via Long Code based PCPs.	SIGACT News	2005	DBLP DOI BibTeX RDF
1	Morteza Gholipour, Hamid Shojaee, Ali Afzali-Kusha, Ahmad Khademzadeh, Mehrdad Nourani	An efficient model for performance analysis of asynchronous pipeline design methods.	ISCAS	2005	DBLP DOI BibTeX RDF
1	Richard J. Edwards, Denis C. Shields	GASP: Gapped Ancestral Sequence Prediction for proteins.	BMC Bioinformatics	2004	DBLP DOI BibTeX RDF
1	Jo C. Ebergen, Daniel Finchelstein, Russell Kao, Jon K. Lexau, David Hopkins	A Fast and Energy-Efficient Stack.	ASYNC	2004	DBLP DOI BibTeX RDF
1	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
1	Yogendra Patel, Valerie J. Gillet, Gianpaolo Bravi, Andrew R. Leach	A comparison of the pharmacophore identification programs: Catalyst, DISCO and GASP.	Journal of Computer-Aided Molecular Design	2002	DBLP DOI BibTeX RDF
1	Marcos Ferretti, Peter A. Beerel	Single-Track Asynchronous Pipeline Templates Using 1-of-N Encoding.	DATE	2002	DBLP DOI BibTeX RDF
1	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
1	Maria Shneerson, Ayellet Tal	GASP-II - A Geometric Algorithm Animation System for an Electronic Classroom.	Symposium on Computational Geometry	1998	DBLP DOI BibTeX RDF
1	Stéphane Donikian, Alain Chauffaut, Thierry Duval, R. Kulpa	GASP: From Modular Programming to Distributed Execution. (PDF / PS)	CA	1998	DBLP DOI BibTeX RDF
1	Maria Shneerson, Ayellet Tal	GASP-II: A Geometric Algorithm Animation System for an Electronic Classroom.	Symposium on Computational Geometry	1997	DBLP DOI BibTeX RDF
1	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
1	Ayellet Tal, David P. Dobkin	GASP - A System for Visualizing Geometric Algorithms.	IEEE Visualization	1994	DBLP DOI BibTeX RDF
1	Ayellet Tal, David P. Dobkin	GASP: A System to Facilitate Animating Geometric Algorithms.	Symposium on Computational Geometry	1994	DBLP DOI BibTeX RDF
1	David P. Dobkin, Ayellet Tal	GASP - An Animation System for Computational Geometry.	CCCG	1994	DBLP BibTeX RDF
1	James W. Hooper, Kevin D. Reilly	The GPSS - GASP combined (GGC) system.	International Journal of Parallel Programming	1983	DBLP DOI BibTeX RDF
1	Magnus Rimvall, François E. Cellier	GASP-VI: ein Simulationspaket für prozess-orientierte gemischt kontinuierliche und diskrete Simulation.	Simulationstechnik	1982	DBLP BibTeX RDF
1	Laurence J. Moore, Sang M. Lee, Bernard W. Taylor III	Combined continuous-discrete system simulation with GASP IV.	Computers & OR	1977	DBLP DOI BibTeX RDF
1	A. Alan B. Pritsker	Three simulation approaches to queueing studies using GASP IV.	Computers & Industrial Engineering	1976	DBLP DOI BibTeX RDF
1	Daniel Teichroew, John Francis Lubin	Computer simulation - discussion of the technique and comparison of languages.	Commun. ACM	1966	DBLP DOI BibTeX RDF