Search results for "Brook "

Hits ?▲	Authors	Title	Venue	Year	Link
27	Stephen L. Olivier, Simon D. Hammond, Alejandro Duran	Double Buffering for MCDRAM on Second Generation $$\hbox {Intel}^{\circledR }$$ Xeon Phi $$^{\text {TM}}$$ Processors with OpenMP.	IWOMP	2017	DBLP DOI BibTeX RDF
27	Leopold Grinberg, Carlo Bertolli, Riyaz Haque	Hands on with OpenMP4.5 and Unified Memory: Developing Applications for IBM's Hybrid CPU + GPU Systems (Part I).	IWOMP	2017	DBLP DOI BibTeX RDF
27	Richard Neill, Andi Drebes, Antoniu Pop	Accurate and Complete Hardware Profiling for OpenMP - Multiplexing Hardware Events Across Executions.	IWOMP	2017	DBLP DOI BibTeX RDF
27	Matt Martineau, Simon McIntosh-Smith	The Productivity, Portability and Performance of OpenMP 4.5 for Scientific Applications Targeting Intel CPUs, IBM CPUs, and NVIDIA GPUs.	IWOMP	2017	DBLP DOI BibTeX RDF
27	Florian Wende, Martijn Marsman, Zhengji Zhao, Jeongnim Kim	Porting VASP from MPI to MPI+OpenMP [SIMD] - Optimization Strategies, Insights and Feature Proposals.	IWOMP	2017	DBLP DOI BibTeX RDF
27	Leopold Grinberg, Carlo Bertolli, Riyaz Haque	Hands on with OpenMP4.5 and Unified Memory: Developing Applications for IBM's Hybrid CPU + GPU Systems (Part II).	IWOMP	2017	DBLP DOI BibTeX RDF
27	Patrick Atkinson, Simon McIntosh-Smith	On the Performance of Parallel Tasking Runtimes for an Irregular Fast Multipole Method Application.	IWOMP	2017	DBLP DOI BibTeX RDF
27	José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman (eds.)	Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings	RuleML	2016	DBLP DOI BibTeX RDF
27	Ho-Pun Lam, Mustafa Hashmi, Brendan Scofield	Enabling Reasoning with LegalRuleML.	RuleML	2016	DBLP DOI BibTeX RDF
27	Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar	Choreographic Compilation of Decentralized Comprehension Patterns.	RuleML	2016	DBLP DOI BibTeX RDF
27	Bill Marino, Ari Juels	Setting Standards for Altering and Undoing Smart Contracts.	RuleML	2016	DBLP DOI BibTeX RDF
27	Neng-Fa Zhou	Programming in Picat.	RuleML	2016	DBLP DOI BibTeX RDF
27	Carl Schultz 0001, Mehul Bhatt	A Numerical Optimisation Based Characterisation of Spatial Reasoning.	RuleML	2016	DBLP DOI BibTeX RDF
27	Nunziato Cassavia, Elio Masciari, Chiara Pulice, Domenico Saccà	A Framework Enhancing the User Search Activity Through Data Posting.	RuleML	2016	DBLP DOI BibTeX RDF
27	William Van Woensel, Patrice C. Roy, Syed Sibte Raza Abidi	SmartRL: A Context-Sensitive, Ontology-Based Rule Language for Assisted Living in Smart Environments.	RuleML	2016	DBLP DOI BibTeX RDF
27	Stefania Costantini, Giovanni De Gasperis	Bridge Rules for Reasoning in Component-Based Heterogeneous Environments.	RuleML	2016	DBLP DOI BibTeX RDF
27	Gen Zou, Harold Boley	Minimal Objectification and Maximal Unnesting in PSOA RuleML.	RuleML	2016	DBLP DOI BibTeX RDF
27	Harold Boley	The RuleML Knowledge-Interoperation Hub.	RuleML	2016	DBLP DOI BibTeX RDF
27	Stefano Ferilli	Handling Complex Process Models Conditions Using First-Order Horn Clauses.	RuleML	2016	DBLP DOI BibTeX RDF
27	George Baryannis, Przemyslaw Woznowski, Grigoris Antoniou	Rule-Based Real-Time ADL Recognition in a Smart Home Environment.	RuleML	2016	DBLP DOI BibTeX RDF
27	Firas Al Khalil, Marcello Ceci, Kosala Yapa, Leona O'Brien	SBVR to OWL 2 Mapping in the Domain of Legal Rules.	RuleML	2016	DBLP DOI BibTeX RDF
27	Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor	Evaluation of Logic-Based Smart Contracts for Blockchain Systems.	RuleML	2016	DBLP DOI BibTeX RDF
27	Dag Hovland, Davide Lanti, Martin Rezk, Guohui Xiao 0001	OBDA Constraints for Effective Query Answering.	RuleML	2016	DBLP DOI BibTeX RDF
27	Daniel Gall, Thom W. Frühwirth	Translation of Cognitive Models from ACT-R to Constraint Handling Rules.	RuleML	2016	DBLP DOI BibTeX RDF
27	Melanie Swan	Blockchain Temporality: Smart Contract Time Specifiability with Blocktime.	RuleML	2016	DBLP DOI BibTeX RDF
27	Olivier Wang, Leo Liberti, Claudia D'Ambrosio, Christian de Sainte Marie, Changhai Ke	Controlling the Average Behavior of Business Rules Programs.	RuleML	2016	DBLP DOI BibTeX RDF
27	Greg Harris, Anand V. Panangadan, Viktor K. Prasanna	PRIMER - A Regression-Rule Learning System for Intervention Optimization.	RuleML	2016	DBLP DOI BibTeX RDF
27	Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin	Business Rules Uncertainty Management with Probabilistic Relational Models.	RuleML	2016	DBLP DOI BibTeX RDF
27	Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez	A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees.	RuleML	2016	DBLP DOI BibTeX RDF
27	Thom W. Frühwirth	Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints.	RuleML	2016	DBLP DOI BibTeX RDF
27	Landon Rabern	A different short proof of Brook's theorem.	Discuss. Math. Graph Theory	2014	DBLP DOI BibTeX RDF
27	Janos G. Hajagos, Viviktesh Agwan	Linking Clinicians to Biomedical Researchers: An Application of the ISF Ontology at Stony Brook Medicine.	CBMS	2014	DBLP DOI BibTeX RDF
27	Ezio Bartocci, C. R. Ramakrishnan 0001 (eds.)	Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings	SPIN	2013	DBLP DOI BibTeX RDF
27	Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci	A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software.	SPIN	2013	DBLP DOI BibTeX RDF
27	Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci	On-the-Fly Control Software Synthesis.	SPIN	2013	DBLP DOI BibTeX RDF
27	John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk	Regression Verification Using Impact Summaries.	SPIN	2013	DBLP DOI BibTeX RDF
27	Stefan Leue, Mitra Tabaei Befrouei	Mining Sequential Patterns to Explain Concurrent Counterexamples.	SPIN	2013	DBLP DOI BibTeX RDF
27	Kiran Adhikari, James Street, Chao Wang 0001, Yang Liu 0003, Shao Jie Zhang	Verifying a Quantitative Relaxation of Linearizability via Refinement.	SPIN	2013	DBLP DOI BibTeX RDF
27	Sagar Chaki, Joseph Andrew Giampapa	Probabilistic Verification of Coordinated Multi-robot Missions.	SPIN	2013	DBLP DOI BibTeX RDF
27	Stavros Tripakis, Christos Stergiou 0001, Manfred Broy, Edward A. Lee	Error-Completion in Interface Theories.	SPIN	2013	DBLP DOI BibTeX RDF
27	Chih-Hong Cheng, Michael Geisinger, Christian Buckl	Synthesizing Controllers for Automation Tasks with Performance Guarantees.	SPIN	2013	DBLP DOI BibTeX RDF
27	Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske	Property-Driven Benchmark Generation.	SPIN	2013	DBLP DOI BibTeX RDF
27	Florian Leitner-Fischer, Stefan Leue	On the Synergy of Probabilistic Causality Computation and Causality Checking.	SPIN	2013	DBLP DOI BibTeX RDF
27	Annu John, Igor Konnov 0001, Ulrich Schmid 0001, Helmut Veith, Josef Widder	Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms.	SPIN	2013	DBLP DOI BibTeX RDF
27	Giorgio Delzanno, Riccardo Traverso	Specification and Validation of Link Reversal Routing via Graph Transformations.	SPIN	2013	DBLP DOI BibTeX RDF
27	Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek	Compositional Approach to Suspension and Other Improvements to LTL Translation.	SPIN	2013	DBLP DOI BibTeX RDF
27	Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber 0002	Guard-Based Partial-Order Reduction.	SPIN	2013	DBLP DOI BibTeX RDF
27	Gerard J. Holzmann	Proving Properties of Concurrent Programs - (Extended Abstract).	SPIN	2013	DBLP DOI BibTeX RDF
27	Nuno P. Lopes, José Monteiro 0001	Automatic Equivalence Checking of UF+IA Programs.	SPIN	2013	DBLP DOI BibTeX RDF
27	Anthony Romano, Dawson R. Engler	Expression Reduction from Programs in a Symbolic Binary Executor.	SPIN	2013	DBLP DOI BibTeX RDF
27	Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle	Abstraction-Based Guided Search for Hybrid Systems.	SPIN	2013	DBLP DOI BibTeX RDF
27	Sven Gröning, Christopher Rosas, Christian Wietfeld	COMPLeTe - A COMmunication Protocol vaLidation Toolchain.	SPIN	2013	DBLP DOI BibTeX RDF
27	Divjyot Sethi, Muralidhar Talupur, Sharad Malik	Model Checking Unbounded Concurrent Lists.	SPIN	2013	DBLP DOI BibTeX RDF
27	Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard	Local Model Checking of Weighted CTL with Upper-Bound Constraints.	SPIN	2013	DBLP DOI BibTeX RDF
27	Dirk Beyer 0001, Philipp Wendler	Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses.	SPIN	2013	DBLP DOI BibTeX RDF
27	Jarno Mielikäinen, Bormin Huang, Hung-Lung Allen Huang, Mitchell D. Goldberg	GPU Implementation of Stony Brook University 5-Class Cloud Microphysics Scheme in the WRF.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2012	DBLP DOI BibTeX RDF
27		Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA	DMS	2010	DBLP BibTeX RDF
27	Yi Deng	From Computing to Informatics.	DMS	2010	DBLP BibTeX RDF
27	Giacomo Franco, Paolo Maresca, Giancarlo Nota	The assessment of knowledge requirements in a network of goal oriented organization.	DMS	2010	DBLP BibTeX RDF
27	Andrea F. Abate, Vincenzo Del Fatto, Michele Nappi, Stefano Ricciardi, Genoveffa Tortora	Immersive Gesture-based Interface for Effective 3D Geographic Data Manipulation.	DMS	2010	DBLP BibTeX RDF
27	Pierpaolo Di Bitonto, Maria Laterza, Teresa Roselli, Veronica Rossano	An Adaptive Test for Learning Objects: item calibration.	DMS	2010	DBLP BibTeX RDF
27	Francesca Arcelli, Marco Zanoni, Riccardo Porrini, Mattia Vivanti	A model proposal for program comprehension.	DMS	2010	DBLP BibTeX RDF
27	Nenad Rogulja, Branko Milosavljevic, Zora Konjovic	Software Clustering Using Drools Tool.	DMS	2010	DBLP BibTeX RDF
27	Clay Fenlason	Sakai 3: the Co-evolution of Product and Community.	DMS	2010	DBLP BibTeX RDF
27	Thangaraj Karol Stuart, Zhiwei (Tommy) Xu	Advanced Pattern Match techniques for identifying Similar Transactions in a Database System.	DMS	2010	DBLP BibTeX RDF
27	Abdullah S. Alghamdi, Zeeshan Siddiqui	Common Interoperability Framework for Defense Architectures, A Web Semantic approach.	DMS	2010	DBLP BibTeX RDF
27	Donald V. Steward, Josh Knight	THE EXPLAINER: Using the Computer to Help Collaborate in Connecting the Dots to Resolve Complex Problems.	DMS	2010	DBLP BibTeX RDF
27	Aditi Patwardhan, Kevin W. Hamlen, Kendra M. L. Cooper	Towards Security-aware Program Visualization for Analyzing In-lined Reference Monitors.	DMS	2010	DBLP BibTeX RDF
27	Adriana Cursino Thomé, Maurício Gonçalves Vieira Ferreira, João Bosco S. Cunha	SICSDA: an Adaptive Configurable Distributed Software Architecture Applied to Satellite Control Missions.	DMS	2010	DBLP BibTeX RDF
27	Carmelo Ardito, Rosa Lanzilotti	How do archaeologists work? A multimedia digital object to learn their investigation process.	DMS	2010	DBLP BibTeX RDF
27	Emanuele Bellini 0001, Marcel Aime Deussom, Paolo Nesi	Assessing Open Archive OAI-PMH implementations.	DMS	2010	DBLP BibTeX RDF
27	Doraid M. Dalalah	Congestion Optimization in Data Networks.	DMS	2010	DBLP BibTeX RDF
27	Carlos E. Cirilo, Antônio Francisco do Prado, Wanderley Lopes de Souza, Luciana A. M. Zaina	A Hybrid Approach for Adapting Web Graphical User Interfaces to Multiple Devices using Information Retrieved from Context.	DMS	2010	DBLP BibTeX RDF
27	Francesco Colace, Shi-Kuo Chang, Massimo De Santo	SINMS: A Slow Intelligence Network Manager based on SNMP Protocol.	DMS	2010	DBLP BibTeX RDF
27	Erland Jungert, Christina Grönwall, Niklas Hallberg, Birgitta Kylesten, Fredrik Lantz, Lars Eriksson	A Generic Architecture for Surveillance Systems.	DMS	2010	DBLP BibTeX RDF
27	Hauke Vagts, Erik Krempel, Jürgen Beyerer	Privacy Enforcement by Identity Management in Smart Surveillance Systems.	DMS	2010	DBLP BibTeX RDF
27	Rosanna Cassino, Monica Sebillo, Maurizio Tucci	A design methodology for the development of GIS applications.	DMS	2010	DBLP BibTeX RDF
27	Pierfrancesco Bellini, Daniele Cenni, Vladimiro Corsi, Paolo Nesi	An Engine for Local Communities Sharing Services and Content.	DMS	2010	DBLP BibTeX RDF
27	Richard Göbel, Carsten Kropf	Towards Hybrid Index Structures for Multi-Media Search Criteria.	DMS	2010	DBLP BibTeX RDF
27	Anupam Guha, Hyungsin Kim, Ellen Yi-Luen Do	Automated Clock Drawing Test through Machine Learning and Geometric Analysis.	DMS	2010	DBLP BibTeX RDF
27	André Luiz Peron Martins Lanna, Carlos Alberto Marques Pietrobon	Software Process Reuse Based on Knowledge and Process Components.	DMS	2010	DBLP BibTeX RDF
27	Yen-Chieh Huang, Chih-Ping Chu, Yu-Shih Lin, Chia-Hao Kuo	RFID Applications in Hospitals - A Case Study for Emergency Department.	DMS	2010	DBLP BibTeX RDF
27	Juzheng Li, Sol M. Shatz	Remote Query Processing in Wireless Sensor Networks using Coordinated Mobile Objects.	DMS	2010	DBLP BibTeX RDF
27	Tiansi Dong	Modeling Human Intelligence as A Slow Intelligence System.	DMS	2010	DBLP BibTeX RDF
27	Todd Jensen 0002, Olaf A. Schulte	Opencast, the Opencast Community and Opencast Matterhorn - A global community-driven project to build a management system for academic video.	DMS	2010	DBLP BibTeX RDF
27	Salvatore Cuomo, Vittorio Fuccella, Aniello Murano	Full Formative Assessment based on Educational Video Games.	DMS	2010	DBLP BibTeX RDF
27	Chris Ellison, Bee Ong, Kia Ng	iRock Interactive Multimedia System.	DMS	2010	DBLP BibTeX RDF
27	Veselina Milanova, Kay-Uwe Schmidt, Jörg Dörflinger, Axel Spriestersbach, Susan Thomas	Agile User Interfaces in Disaster Management.	DMS	2010	DBLP BibTeX RDF
27	Shi-Kuo Chang, Emilio Zegarra, Chia Chun Shih, Ting-Chun Peng, Francesco Colace, Massimo De Santo	Ontological Filters for Slow Intelligence Systems.	DMS	2010	DBLP BibTeX RDF
27	Chia Chun Shih, Ting-Chun Peng	Building Topic/Trend Detection System based on Slow Intelligence.	DMS	2010	DBLP BibTeX RDF
27	Chi-Lu Yang, Yen-Chieh Huang, Yeim-Kuan Chang, Chih-Ping Chu	A Technical Model Using Genetic Algorithm For the Cosmetic Tourism Business.	DMS	2010	DBLP BibTeX RDF
27	Gerald Draxler, Johannes Sametinger, Andreas Wiesauer	Electronic Payment and Online Gaming.	DMS	2010	DBLP BibTeX RDF
27	Yoshiyuki Hino, Kazuo Yana, Hisato Kobayashi, Kimiyoshi Hayashi, Yasushi Kodama, Billy Pham	3D virtual space for a quality e-Learning environment in collaborative study.	DMS	2010	DBLP BibTeX RDF
27	Luis Carlos Niño-Tavera, Angela Carrillo Ramos, Edgar Enrique Ruiz	A Display Adaptation Model for Nomadic Users.	DMS	2010	DBLP BibTeX RDF
27	Gennaro Costagliola, Vittorio Fuccella, Michele Di Capua	Interpreting Gestures for Text Entry on Touch Screen Devices.	DMS	2010	DBLP BibTeX RDF
27	Mauro Coccoli, Paolo Maresca, Lidia Stanganelli	Enforcing Team Cooperation: an example of Computer Supported Collaborative Learning in Software Engineering.	DMS	2010	DBLP BibTeX RDF
27	David Hung-Chang Du	Challenges in a New Data Explosion Environment.	DMS	2010	DBLP BibTeX RDF
27	Muhanna Muhanna, Sermsak Buntha, Sohei Okamoto, Michael J. McMahon Jr., Sergiu Dascalu, Frederick C. Harris Jr.	CAVEMANDER: Creating 3-D Command-and-Control Scenarios for the CAVE Automatic Virtual Environment.	DMS	2010	DBLP BibTeX RDF
27	Peter Chapman, Gem Stapleton	On the Relative Expressiveness of Second-Order Spider Diagrams and Regular Expressions.	DMS	2010	DBLP BibTeX RDF
27	Pierfrancesco Bellini, Daniele Cenni, Alice Fuzier, Paolo Nesi, Gianni Pantaleo, Michela Paolucci	Metrics for best practice networks analysis.	DMS	2010	DBLP BibTeX RDF