Search results for "BIP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Joseph Sifakis	Component-Based Construction of Heterogeneous Real-Time Systems in Bip.	Petri Nets	2009	DBLP DOI BibTeX RDF
108	Seok-Jun Lee, Naresh R. Shanbhag, Andrew C. Singer	Area-efficient high-throughput MAP decoder architectures.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
84	Barbara A. Eckman, Terry Gaasterland, Zoé Lacroix, Louiqa Raschid, Ben Snyder, Maria-Esther Vidal	Implementing a Bioinformatics Pipeline (BIP) on a Mediator Platform: Comparing Cost and Quality of Alternate Choices.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
84	Bernard Tourancheau, Roland Westrelin	Study of the medium message performance of BIP/Myrinet.	CLUSTER	2000	DBLP DOI BibTeX RDF
77	Sergei Ivanov 0001, Michel de Rougemont	Interactive Protocols on the Reals.	STACS	1998	DBLP DOI BibTeX RDF
69	Lei Pi, Jean-Paul Bodeveix, Mamoun Filali	Modeling AADL Data Communication with BIP.	Ada-Europe	2009	DBLP DOI BibTeX RDF
69	Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis	Translating AADL into BIP - Application to the Verification of Real-Time Systems.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
69	Susanne Graf, Sophie Quinton	Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.	FORTE	2007	DBLP DOI BibTeX RDF
62	François Ingelrest, David Simplot-Ryl	Localized broadcast incremental power protocol for wireless ad hoc networks.	Wirel. Networks	2008	DBLP DOI BibTeX RDF	Ad hoc networks, Energy efficiency, Localized algorithms, Broadcasting protocols
62	François Ingelrest, David Simplot-Ryl	Localized Broadcast Incremental Power Protocol for Wireless Ad Hoc Networks.	ISCC	2005	DBLP DOI BibTeX RDF
62	Di Yuan 0001	Computing Optimal or Near-Optimal Trees for Minimum-Energy Broadcasting in Wireless Networks.	WiOpt	2005	DBLP DOI BibTeX RDF
62	Peng-Jun Wan, Gruia Calinescu, Chih-Wei Yi	Minimum-power multicast routing in static ad hoc wireless networks.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	approximation algorithms, power control, multicast routing
53	Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis	Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.	NCA	2007	DBLP DOI BibTeX RDF
53	Ananda Basu, Marius Bozga, Joseph Sifakis	Modeling Heterogeneous Real-time Components in BIP.	SEFM	2006	DBLP DOI BibTeX RDF
51	Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis	Modeling synchronous systems in BIP.	EMSOFT	2009	DBLP DOI BibTeX RDF	BIP (behavior-interaction-priority), modal flow graphs, priority petri nets, synchronous systems, lustre
46	Jaeyong Chung, Henry J. Gardner	Measuring temporal variation in presence during game playing.	VRCAI	2009	DBLP DOI BibTeX RDF	breaks in presence, computer game, presence
46	Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis	Distributed Semantics and Implementation for Systems with Interaction and Priority.	FORTE	2008	DBLP DOI BibTeX RDF
46	Rebeca Marfil, Luis Molina-Tanco, Antonio Bandera, Francisco Sandoval Hernández	The Construction of Bounded Irregular Pyramids with a Union-Find Decimation Process.	GbRPR	2007	DBLP DOI BibTeX RDF
46	Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis	A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.	Monterey Workshop	2006	DBLP DOI BibTeX RDF
46	Patrick Geoffray, CongDuc Pham, Loïc Prylli, Bernard Tourancheau, Roland Westrelin	Protocols and Software for Exploiting Myrinet Clusters.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
45	Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec	TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm.	Innov. Syst. Softw. Eng.	2018	DBLP DOI BibTeX RDF
45	Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec	TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm.	VECoS	2017	DBLP DOI BibTeX RDF
45	Badr Siala	Décomposition formelle des spécifications centralisées Event-B: application aux systèmes distribués BIP. (Formal decomposition of event-B centralized specifications: application to BIP distributed systems).		2017	RDF
45	Jean Quilbeuf	Implantations distribuées de modèles à base de composants communicants par interactions multiparties avec priorités : application au langage BIP. (Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework.).		2013	RDF
45	Vasiliki Sfyrla	Modélisation des systèmes synchrones en BIP. (Modeling Synchronous Systems in BIP).		2011	RDF
45	Mohamad Jaber 0001	Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP. (Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP).		2010	RDF
45	Ananda Basu	Component-based Modeling of Heterogeneous Real-time Systems in BIP. (Modélisation à base de Composants de Systèmes Temps réel Hétérogènes en BIP).		2008	RDF
45	Wenxuan Guo, Xinming Huang 0001, Wenjing Lou, Cao Liang	On Relay Node Placement and Assignment for Two-tiered Wireless Networks.	Mob. Networks Appl.	2008	DBLP DOI BibTeX RDF	two-tiered wireless network, optimal relayed path, packet reception rate, BIP, relay node placement
38	Joseph Sifakis	Component-Based Construction of Real-Time Systems in BIP.	CAV	2009	DBLP DOI BibTeX RDF
38	Simon Bliudze, Joseph Sifakis	The Algebra of Connectors - Structuring Interaction in BIP.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
38	Simon Bliudze, Joseph Sifakis	The algebra of connectors: structuring interaction in BIP.	EMSOFT	2007	DBLP DOI BibTeX RDF
38	Roland Westrelin	A New Software Architecture for the BIP/Myrinet Firmware.	CCGRID	2001	DBLP DOI BibTeX RDF
38	Frédérique Chaussumier, Frederic Desprez, Loïc Prylli	Asynchronous Communications in MPL - The BIP/Myrinet Approach.	PVM/MPI	1999	DBLP DOI BibTeX RDF
31	Sanjay K. Dhurandher, Sudip Misra, Mohammad S. Obaidat, Priyedev Lochab, Varun Kumar Sharma, Siddharth Gautam	An efficient power-aware broadcast technique for wireless ad hoc networks.	SpringSim	2009	DBLP DOI BibTeX RDF	energy efficient broadcast, enhanced lifetime ad hoc networks, performance evaluation, modeling and simulation
31	Fuensanta Torres, Rebeca Marfil, Antonio Bandera	3D Image Segmentation Using the Bounded Irregular Pyramid.	CAIP	2009	DBLP DOI BibTeX RDF
31	Kusno Prasetya, Zheng Da Wu	Performance analysis of game world partitioning methods for multiplayer mobile gaming.	NETGAMES	2008	DBLP DOI BibTeX RDF	game world partition, networking, mobile gaming
31	Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen	Compositional Verification for Component-Based Systems and Application.	ATVA	2008	DBLP DOI BibTeX RDF
31	Doina Bein, Si-Qing Zheng	An Effective Algorithm for Computing Energy-Efficient Broadcasting Trees in All-Wireless Networks.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
31	Samuel Burden, Jonathan E. Clark, Joel Weingarten, Haldun Komsuoglu, Daniel E. Koditschek	Heterogeneous Leg Stiffness and Roll in Dynamic Running.	ICRA	2007	DBLP DOI BibTeX RDF
31	Moinuddin K. Qureshi, Aamer Jaleel, Yale N. Patt, Simon C. Steely Jr., Joel S. Emer	Adaptive insertion policies for high performance caching.	ISCA	2007	DBLP DOI BibTeX RDF	set dueling, set sampling, thrashing, replacement
31	Hongxu Cai, Yingchao Zhao 0001	On Approximation Ratios of Minimum-Energy Multicast Routing in Wireless Networks.	J. Comb. Optim.	2005	DBLP DOI BibTeX RDF	broadcasting, ad hoc wireless networks, MST
31	S. Veeravalli, Laxmi P. Gewali, Muthukumar Venkatesan	Construction of Power-Aware Diameter-Reduced Broadcast Trees.	ITCC (2)	2005	DBLP DOI BibTeX RDF
31	Philippe Sardain, Guy Bessonnet	Zero moment point-measurements from a human walker wearing robot feet as shoes.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
31	Edson L. Horta, John W. Lockwood	Automated Method to Generate Bitstream Intellectual Property Cores for Virtex FPGAs.	FPL	2004	DBLP DOI BibTeX RDF
31	Olivier Aumage, Luc Bougé, Alexandre Denis 0001, Jean-François Méhaut, Guillaume Mercier, Raymond Namyst, Loïc Prylli	Madeleine II: a Portable and Efficient Communication Library for High-Performance Cluster Computing.	CLUSTER	2000	DBLP DOI BibTeX RDF
31	Loïc Prylli, Bernard Tourancheau, Roland Westrelin	The Design for a High-Performance MPI Implementation on the Myrinet Network.	PVM/MPI	1999	DBLP DOI BibTeX RDF
29	CongDuc Pham, Carsten Albrecht	Optimizing Message Aggregation for Parallel Simulation on High Performance Clusters.	MASCOTS	1999	DBLP DOI BibTeX RDF	BIP, Message aggregation, MPI, Parallel and Distributed Simulation
29	Panagiotis Melas, Ed Zaluska	Performance of Message-Passing Systems using a Zero-Copy Communication Protocol.	IEEE PACT	1998	DBLP DOI BibTeX RDF	zero-copy protocols, BIP, communication models performance, latency, communication protocols, bandwidth, cluster of workstations, message-passing systems
28	Diego Figueira	Satisfiability of downward XPath with data equality tests.	PODS	2009	DBLP DOI BibTeX RDF	bip automaton, data-tree, infinite alphabet, unranked unordered tree, xpath, xml, data values
23	Sawsan Alshattnawi, Anas M. R. Alsobeh	A cloud-based IoT smart water distribution framework utilising BIP component: Jordan as a model.	Int. J. Cloud Comput.	2024	DBLP DOI BibTeX RDF
23	Yuzhen Zhang, Weizhi Guo, Junning Su, Pei Lv, Mingliang Xu	BIP-Tree: Tree Variant With Behavioral Intention Perception for Heterogeneous Trajectory Prediction.	IEEE Trans. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
23	Saroj Kumar, Sujit S. Dadas, Dayal R. Parhi	Path Planning of Mobile Robot Using Modified DAYKUN-BIP Virtual Target Displacement Method in Static Environments.	Wirel. Pers. Commun.	2023	DBLP DOI BibTeX RDF
23	Paris Koloveas, Serafeim Chatzopoulos, Christos Tryfonopoulos, Thanasis Vergoulis	BIP! NDR (NoDoiRefs): A Dataset of Citations From Papers Without DOIs in Computer Science Conferences and Workshops.	CoRR	2023	DBLP DOI BibTeX RDF
23	Serafeim Chatzopoulos, Kleanthis Vichos, Ilias Kanellos, Thanasis Vergoulis	Piloting topic-aware research impact assessment features in BIP! Services.	CoRR	2023	DBLP DOI BibTeX RDF
23	Anas M. R. Alsobeh, Amani Shatnawi	Integrating Data-Driven Security, Model Checking, and Self-adaptation for IoT Systems Using BIP Components: A Conceptual Proposal Model.	ACR	2023	DBLP DOI BibTeX RDF
23	Paris Koloveas, Serafeim Chatzopoulos, Christos Tryfonopoulos, Thanasis Vergoulis	BIP! NDR (NoDoiRefs): A Dataset of Citations from Papers Without DOIs in Computer Science Conferences and Workshops.	TPDL	2023	DBLP DOI BibTeX RDF
23	Kai Li, Vini Chaudhary, Kaushik R. Chowdhury	BiP: Bit-Phase-Flip Error Mitigation in Quantum Communications.	ICC	2023	DBLP DOI BibTeX RDF
23	Qiming Li, Xia Yang, Haiyong Sun, Zhe Yan	Automatic Generation of Formal BIP Models for C Programs.	CSAE	2023	DBLP DOI BibTeX RDF
23	Serafeim Chatzopoulos, Kleanthis Vichos, Ilias Kanellos, Thanasis Vergoulis	Piloting Topic-Aware Research Impact Assessment Features in BIP! Services.	ESWC (Satellite Events)	2023	DBLP DOI BibTeX RDF
23	Thanasis Vergoulis, Serafeim Chatzopoulos, Kleanthis Vichos, Ilias Kanellos, Andrea Mannocci, Natalia Manola, Paolo Manghi	BIP! Scholar: A Service to Facilitate Fair Researcher Assessment.	CoRR	2022	DBLP DOI BibTeX RDF
23	Jose M. Munoz, Ilyes Batatia, Christoph Ortner	BIP: Boost Invariant Polynomials for Efficient Jet Tagging.	CoRR	2022	DBLP DOI BibTeX RDF
23	Thanasis Vergoulis, Serafeim Chatzopoulos, Kleanthis Vichos, Ilias Kanellos, Andrea Mannocci, Natalia Manola, Paolo Manghi	BIP! scholar: a service to facilitate fair researcher assessment.	JCDL	2022	DBLP DOI BibTeX RDF
23	Chuang Yang, Mulin Chen, Yuan Yuan 0001, Qi Wang 0009	BiP-Net: Bidirectional Perspective Strategy Based Arbitrary-Shaped Text Detection Network.	ICASSP	2022	DBLP DOI BibTeX RDF
23	Ny Aina Andriambolamalala	Decentralized communication and beep model. (Communications décentralisées et modèle BIP).		2022	RDF
23	Giuseppe Agapito, Mario Cannataro	Using BioPAX-Parser (BiP) to enrich lists of genes or proteins with pathway data.	BMC Bioinform.	2021	DBLP DOI BibTeX RDF
23	Thanasis Vergoulis, Ilias Kanellos, Claudio Atzori, Andrea Mannocci, Serafeim Chatzopoulos, Sandro La Bruzzo, Natalia Manola, Paolo Manghi	BIP! DB: A Dataset of Impact Measures for Scientific Publications.	CoRR	2021	DBLP BibTeX RDF
23	Thanasis Vergoulis, Ilias Kanellos, Claudio Atzori, Andrea Mannocci, Serafeim Chatzopoulos, Sandro La Bruzzo, Natalia Manola, Paolo Manghi	BIP! DB: A Dataset of Impact Measures for Scientific Publications.	WWW (Companion Volume)	2021	DBLP DOI BibTeX RDF
23	Xiutai Lu, Yang Gao, Wensheng Guo, Fengbo Zhang, Xia Yang, Jun Wan	Towards Formal Verification of Dynamic Memory Allocator Properties Using BIP Framework.	CSAE	2021	DBLP DOI BibTeX RDF
23	Salim Chehida, Abdelhakim Baouya, Saddek Bensalem	Component-Based Approach Combining UML and BIP for Rigorous System Design.	FACS	2021	DBLP DOI BibTeX RDF
23	Eduard Baranov, Simon Bliudze	Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP.	Acta Informatica	2020	DBLP DOI BibTeX RDF
23	Eduard Baranov, Simon Bliudze	Expressiveness of component-based frameworks: a study of the expressiveness of BIP.	Acta Informatica	2020	DBLP DOI BibTeX RDF
23	Giuseppe Agapito, Mario Cannataro	Using BioPAX-Parser (BiP) to Annotate Lists of Biological Entities with Pathway Data.	ER (Workshops)	2020	DBLP DOI BibTeX RDF
23	Xudong Tang, Qiang Wang, Weikai Miao	Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study.	ICA3PP (3)	2020	DBLP DOI BibTeX RDF
23	Chelsea Howland, Malaika Gallimore, Jo-Ana Chase, Blaine Reeder	Usability and Feature Evaluation of the Amazfit Bip S Smart Watch in the Precision START Laboratory.	AMIA	2020	DBLP BibTeX RDF
23	Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis.	SEFM	2020	DBLP DOI BibTeX RDF
23	Iulia Dragomir, Saddek Bensalem	Rigorous Design of FDIR Systems with BIP.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2019	DBLP DOI BibTeX RDF
23	Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits	DesignBIP: A Design Studio for Modeling and Generating Systems with BIP.	CoRR	2019	DBLP BibTeX RDF
23	Dayal R. Parhi, Priyadarshi Biplab Kumar	Smart Navigation of Humanoid Robots Using DAYKUN-BIP Virtual Target Displacement and Petri-Net Strategy.	Robotica	2019	DBLP DOI BibTeX RDF
23	R. I. Minu, G. Nagarajan, T. Prem Jacob, Albert Pravin	BIP: A dimensionality reduction for image indexing.	ICT Express	2019	DBLP DOI BibTeX RDF
23	Thanasis Vergoulis, Serafeim Chatzopoulos, Ilias Kanellos, Panagiotis Deligiannis, Christos Tryfonopoulos, Theodore Dalamagas 0001	BIP! Finder: Facilitating Scientific Literature Search by Exploiting Impact-Based Ranking.	CIKM	2019	DBLP DOI BibTeX RDF
23	Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin	DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.	Des. Autom. Embed. Syst.	2018	DBLP DOI BibTeX RDF
23	Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits	DesignBIP: A Design Studio for Modeling and Generating Systems with BIP.	CoRR	2018	DBLP BibTeX RDF
23	Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Pedro Palomo	Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine.	MeTRiD@ETAPS	2018	DBLP DOI BibTeX RDF
23	Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber 0001, Joseph Sifakis, Fadi A. Zaraket	Global and Local Deadlock Freedom in BIP.	ACM Trans. Softw. Eng. Methodol.	2018	DBLP DOI BibTeX RDF
23	Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis	Model-based design of IoT systems with the BIP component framework.	Softw. Pract. Exp.	2018	DBLP DOI BibTeX RDF
23	Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis	Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP.	ISoLA (3)	2018	DBLP DOI BibTeX RDF
23	Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem	S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems.	ATVA	2018	DBLP DOI BibTeX RDF
23	Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze	Combine and conquer: Relating BIP and Reo.	J. Log. Algebraic Methods Program.	2017	DBLP DOI BibTeX RDF
23	Romain Edelmann, Simon Bliudze, Joseph Sifakis	Functional BIP: Embedding connectors in functional programming languages.	J. Log. Algebraic Methods Program.	2017	DBLP DOI BibTeX RDF
23	Eduard Baranov, Simon Bliudze	A Note on the Expressiveness of BIP.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
23	Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali	An Event-B Development Process for the Distributed BIP Framework.	ICFEM	2016	DBLP DOI BibTeX RDF
23	Maya H. Safieddine, Fadi A. Zaraket, Mohamad Jaber 0001, Rouwaida Kanj, Mazen A. R. Saghir	Automated FPGA implementations of BIP designs.	SIES	2016	DBLP DOI BibTeX RDF
23	Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi	Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation.	FDL	2016	DBLP DOI BibTeX RDF
23	Cecylia Bocovich, Joanne M. Atlee	Feature-Oriented Modelling in BIP: A Case Study.	ModComp@MoDELS	2016	DBLP BibTeX RDF
23	Igor V. Konnov 0001, Tomer Kotek, Qiang Wang 0020, Helmut Veith, Simon Bliudze, Joseph Sifakis	Parameterized Systems in BIP: Design and Model Checking.	CONCUR	2016	DBLP DOI BibTeX RDF
23	Yliès Falcone, Mohamad Jaber 0001, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem	Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
23	Paulo Viníccius Vieira, César Albenes Zeferino, André Luís Alice Raabe	Avaliação Empírica da Proposta Interdisciplinar de Uso dos Processadores BIP.	Revista Brasileira de Informática na Educ.	2015	DBLP DOI BibTeX RDF
23	Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze	Relating BIP and Reo.	ICE	2015	DBLP DOI BibTeX RDF
23	Eduard Baranov, Simon Bliudze	Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
23	Simon Bliudze, Alessandro Cimatti, Mohamad Jaber 0001, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang 0020	Formal Verification of Infinite-State BIP Models.	ATVA	2015	DBLP DOI BibTeX RDF