Search results for "SCOOP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
148	Yasuhiro Yamada, Daisuke Ikeda, Sachio Hirokawa	SCOOP: A Record Extractor without Knowledge on Input.	Discovery Science	2001	DBLP DOI BibTeX RDF
128	Jean G. Vaucher, Guy Lapalme, Jacques Malenfant	SCOOP, Structured Concurrent Object-Oriented Prolog.	ECOOP	1988	DBLP DOI BibTeX RDF
115	Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob	A CSP model of Eiffel's SCOOP.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	SCOOP, Formal methods, Concurrency, Programming languages, Eiffel
108	Thomer M. Gil, Samuel Madden 0001	Scoop: An Adaptive Indexing Scheme for Stored Data in Sensor Networks.	ICDE	2007	DBLP DOI BibTeX RDF
87	Huiming Qu, Jimeng Sun 0001, Hani Jamjoom	SCOOP: Automated Social Recommendation in Enterprise Process Management.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF
82	Philip Bogden, Gabrielle Allen, Gerry Creager, Sara J. Graves, Rick A. Luettich, Lavanya Ramakrishnan	Poster reception - Designing a collaborative cyberinfrastructure for event-driven coastal modeling.	SC	2006	DBLP DOI BibTeX RDF
67	Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur	SCOOP - Concurrency Made Easy.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
67	Michael Ryba, Gerhard Wickler	Managing Ad Hoc Virtual Enterprises in Open SME Networks: The SCOOP Solution.	OTM Workshops	2004	DBLP DOI BibTeX RDF
54	Mark Timmer	SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes.	QEST	2011	DBLP DOI BibTeX RDF	SCOOP, probabilistic process algebra, data-dependent probabilistic choice, symbolic optimisations, state space reduction, linearisation
54	Sandra L. Harper	Southeastern Universities Research Association (SURA) Coastal Ocean Observing and Prediction (SCOOP).	eScience	2008	DBLP DOI BibTeX RDF	SCOOP, Ocean and Marine science, Education, Data, Cyberinfrastructure, Geoscience
41	Alex Nagelberg, Carola Kaiser, Hartmut Kaiser, Gabrielle Allen	Near realtime visualization of coastal modelling results with WMS and Google Maps.	Mardi Gras Conference	2008	DBLP DOI BibTeX RDF
41	Adam Pease, John Li	Agent-Mediated Knowledge Engineering Collaboration.	AMKM	2003	DBLP DOI BibTeX RDF
28	Lyle R. Johnson	Coming to Grips with Univac.	IEEE Ann. Hist. Comput.	2006	DBLP DOI BibTeX RDF	Marshall K. Wood, Pentagon Univac II, Project SCOOP, Uniservo, Univac factory, Univac maintenance, Univac Serial 2, Simplex method, Univac
28	Piotr Nienaltowski	Efficient data race and deadlock prevention in concurrent object-oriented programs.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	SCOOP model, object-oriented concurrency, deadlocks, data races, ownership types, Eiffel
26	Narges Shahidi, Jashwant Raj Gunasekaran, Mahmut Taylan Kandemir, Bhuvan Urgaonkar	SCOOP: A Scalable Object-Oriented Serverless Platform.	CLOUD	2023	DBLP DOI BibTeX RDF
26	Itai Lang, Dror Aiger, Forrester Cole, Shai Avidan, Michael Rubinstein	SCOOP: Self-Supervised Correspondence and Optimization-Based Scene Flow.	CVPR	2023	DBLP DOI BibTeX RDF
26	Itai Lang, Dror Aiger, Forrester Cole, Shai Avidan, Michael Rubinstein	SCOOP: Self-Supervised Correspondence and Optimization-Based Scene Flow.	CoRR	2022	DBLP DOI BibTeX RDF
26	Colin Robertson, Kevin Horrocks	Spatial Context from Open and Online Processing (SCOOP): Geographic, Temporal, and Thematic Analysis of Online Information Sources.	ISPRS Int. J. Geo Inf.	2017	DBLP DOI BibTeX RDF
26	Fabrizio Pucci, Jean Marc Kwasigroch, Marianne Rooman	SCooP: an accurate and fast predictor of protein stability curves as a function of temperature.	Bioinform.	2017	DBLP DOI BibTeX RDF
26	Paulo H. Oliveira, Caetano Traina Jr., Daniel S. Kaster	CLAP, ACIR and SCOOP: Novel techniques for improving the performance of dynamic Metric Access Methods.	Inf. Syst.	2017	DBLP DOI BibTeX RDF
26	Georgiana Caltais, Bertrand Meyer 0001	On the verification of SCOOP programs.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
26	Yosef Moatti, Eran Rom, Raúl Gracia Tinedo, Dalit Naor, Doron Chen, Josep Sampé, Marc Sánchez Artigas, Pedro García López, Filip Gluszak, Eric Deschdt, Francesco Pace, Daniele Venzano, Pietro Michiardi	Too Big to Eat: Boosting Analytics Data Ingestion from Object Stores with Scoop.	ICDE	2017	DBLP DOI BibTeX RDF
26	Hasnaâ Aniss	Overview of an ITS Project: SCOOP@F.	Nets4Cars/Nets4Trains/Nets4Aircraft	2016	DBLP DOI BibTeX RDF
26	Georgiana Caltais, Bertrand Meyer 0001	On the Verification of SCOOP Programs.	CoRR	2015	DBLP BibTeX RDF
26	Mingming Zhou	SCOOP: A measurement and database of student online search behavior and performance.	Br. J. Educ. Technol.	2015	DBLP DOI BibTeX RDF
26	Georgiana Caltais, Bertrand Meyer 0001	Coffman deadlocks in SCOOP.	CoRR	2014	DBLP BibTeX RDF
26	Mohammad Golbabaee, Alexandre Alahi, Pierre Vandergheynst	SCOOP: A Real-Time Sparsity Driven People Localization Algorithm.	J. Math. Imaging Vis.	2014	DBLP DOI BibTeX RDF
26	Morgan Price, Jens H. Weber, Glen McCallum	SCOOP - The Social Collaboratory for Outcome Oriented Primary Care.	CBMS	2014	DBLP DOI BibTeX RDF
26	Yannick Hold-Geoffroy, Olivier Gagnon, Marc Parizeau	Once you SCOOP, no need to fork.	XSEDE	2014	DBLP DOI BibTeX RDF
26	Mirko de Almeida Madeira Clemente, Hannes Leitner, Dietrich Kammer, Rainer Groh 0001, André Pinkert	Novel interaction techniques for object manipulation on tabletops: scoop net and pinch helper.	AVI	2014	DBLP DOI BibTeX RDF
26	Morgan Price, Jens H. Weber, Glen McCallum	SCOOP - The Social Collaboratory for Outcome Oriented Primary Care.	ICHI	2014	DBLP DOI BibTeX RDF
26	Vladimir Reilly, Berkan Solmaz, Mubarak Shah	Shadow Casting Out Of Plane (SCOOP) Candidates for Human and Vehicle Detection in Aerial Imagery.	Int. J. Comput. Vis.	2013	DBLP DOI BibTeX RDF
26	Jonas Mårtensson 0001, Assad Al Alam, Sagar Behere, Altamash Khan, Joakim Kjellberg, Kuo-Yun Liang, Henrik Pettersson, Dennis Sundman	The Development of a Cooperative Heavy-Duty Vehicle for the GCDC 2011: Team Scoop.	IEEE Trans. Intell. Transp. Syst.	2012	DBLP DOI BibTeX RDF
26	Benjamin Morandi, Sebastian Nanz, Bertrand Meyer 0001	Performance analysis of SCOOP programs.	J. Syst. Softw.	2012	DBLP DOI BibTeX RDF
26	Katherine Isbister, Mike Karlesky, Jonathan Frye, Rahul Rao	Scoop!: a movement-based math game designed to reduce math anxiety.	CHI Extended Abstracts	2012	DBLP DOI BibTeX RDF
26	Katherine Isbister, Michael Karlesky, Jonathan Frye	Scoop!: using movement to reduce math anxiety and affect confidence.	FDG	2012	DBLP DOI BibTeX RDF
26	Benjamin Morandi, Sebastian Nanz, Bertrand Meyer 0001	A comprehensive operational semantics of the SCOOP programming model	CoRR	2011	DBLP BibTeX RDF
26	Benjamin Morandi, Sebastian Nanz, Bertrand Meyer 0001	Record-Replay Debugging for Concurrent SCOOP Programs	CoRR	2011	DBLP BibTeX RDF
26	Dinan Gunawardena, Thomas Karagiannis, Alexandre Proutière, Elizeu Santos-Neto, Milan Vojnovic	Scoop: decentralized and opportunistic multicasting of information streams.	MobiCom	2011	DBLP DOI BibTeX RDF
26	Benjamin Morandi, Sebastian Nanz, Bertrand Meyer 0001	A Formal Reference for SCOOP.	LASER Summer School	2010	DBLP DOI BibTeX RDF
26	Piotr Nienaltowski	Flexible access control policy for SCOOP.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
26	Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik	The SCOOP Concurrency Model in Java-like Languages.	CPA	2009	DBLP DOI BibTeX RDF
26	Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer 0001	SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model.	LASER Summer School	2008	DBLP DOI BibTeX RDF
26	Dongsu Han, Aditiya Agarwala, David G. Andersen, Michael Kaminsky, Konstantina Papagiannaki, Srinivasan Seshan	Mark-and-sweep: getting the "inside" scoop on neighborhood networks.	Internet Measurement Conference	2008	DBLP DOI BibTeX RDF	broadband connection, access point, access network, measurement tool
26	David Saint-Voirin, Christophe Lang, Hervé Guyennet, Noureddine Zerhouni	Scoop Methodology: Modeling, Simulation And Analysis For Cooperative Systems.	J. Softw.	2007	DBLP DOI BibTeX RDF
26	Alex Bateman, Robert D. Finn	SCOOP: a simple method for identification of novel protein superfamily relationships.	Bioinform.	2007	DBLP DOI BibTeX RDF
26	Levon Lloyd, Prachi Kaulgud, Steven Skiena	Newspapers vs. Blogs: Who Gets the Scoop?	AAAI Spring Symposium: Computational Approaches to Analyzing Weblogs	2006	DBLP BibTeX RDF
26	Helen Conover, Bruce Beaumont, Marilyn Drewry, Sara J. Graves, Ken Keiser, Manil Maskey, Matt Smith 0002, Philip Bogden, Joanne Bintz	SCOOP Data Management: A Standards-based Distributed System for Coastal Data and Modeling.	IGARSS	2006	DBLP DOI BibTeX RDF
26	Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige	SECG: The SCOOP-to-Eiffel Code Generator.	J. Object Technol.	2004	DBLP DOI BibTeX RDF
26	Piotr Nienaltowski	SCOOP It up!	PPoPP	2003	DBLP DOI BibTeX RDF
26	Michael Compton, Richard Walker 0001	A Run-time System for SCOOP.	J. Object Technol.	2002	DBLP DOI BibTeX RDF
26	Per Kristian Nilsen, Nicolas Prcovic	Parallel Optimisation in the SCOOP Library.	IPPS/SPDP Workshops	1998	DBLP DOI BibTeX RDF
26	Andrew Terrett	SCOOP Official Publishing on the Internet.	J. Inf. Law Technol.	1996	DBLP BibTeX RDF
26	Afonso Ferreira, Panos M. Pardalos	SCOOP: Solving Combinatorial Optimization Problems in Parallel.	Solving Combinatorial Optimization Problems in Parallel	1996	DBLP DOI BibTeX RDF
26	Bruno Rouzeyre, Toufic Ezzedine, Georges Sagnes	Operators allocation in the silicon compiler SCOOP.	Integr.	1989	DBLP DOI BibTeX RDF
26	Jean-Pierre Combot, Jean-Pierre Desbois, Dominique Treps	SCOOP-switching centers operating observations processing.	IEEE J. Sel. Areas Commun.	1988	DBLP DOI BibTeX RDF
26	Stefano Spaccapietra, G. Barbara Demo, Christine Parent	SCOOP: A System For Integrating Existing Heterogeneous Distributed Data Bases and Application Programs.	INFOCOM	1983	DBLP BibTeX RDF
26	Stefano Spaccapietra, G. Barbara Demo, Antonio Di Leva, Christine Parent	SCOOP: A System for COOPeration Between Existing Heterogeneous Distributed Data Bases and Programs.	IEEE Database Eng. Bull.	1982	DBLP BibTeX RDF
20	Justin Manweiler, Peter Franklin, Romit Roy Choudhury	Using the wired internet as a control channel for residential wireless LANs.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2010	DBLP DOI BibTeX RDF
20	Philip A. Dunker, William A. Lewinger, Alexander Jacob Hunt, Roger D. Quinn	A biologically inspired robot for lunar In-Situ Resource Utilization.	IROS	2009	DBLP DOI BibTeX RDF
20	Yanfei Liu, Adam W. Hoover, Ian D. Walker	Handling Uncertainty due to the Delay Between Complex Sensing and Manipulation in an Industrial Workcell.	IROS	2006	DBLP DOI BibTeX RDF
20	Chiemi Tanabe, Masahito Hirakawa	O-Key: A Scoopable Interface.	ISM	2006	DBLP DOI BibTeX RDF	scoopable interface, gesture, two-handed interface
20	Jason Cong, Yiping Fan, Guoling Han, Wei Jiang, Zhiru Zhang	Behavior and communication co-optimization for systems with sequential communication media.	DAC	2006	DBLP DOI BibTeX RDF	scheduling, optimization, communication, FIFO, reordering
20	Cliff Randell, Sara Price, Yvonne Rogers, Eric Charles Harris, Geraldine Fitzpatrick	The Ambient Horn: designing a novel audio-based learning experience.	Pers. Ubiquitous Comput.	2004	DBLP DOI BibTeX RDF	Audio-based learning, Augmented reality, Pervasive computing, Mobile learning
20	Koichi Matsumoto, Kazutoshi Sumiya, Kuniaki Uehara	A Multi-channel Dissemination System Based on Time-Series Clustering Mechanism for On-Line News Articles.	DEXA	2000	DBLP DOI BibTeX RDF