Search results for "FSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
162	Jing Gao 0006, Yuqing Lan, Maozhong Jin	A Model of Third-Party Integration Testing Process for Foundation Software Platform.	ICYCS	2008	DBLP DOI BibTeX RDF
101	Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee	Translating FSP into LOTOS and Networks of Automata.	IFM	2007	DBLP DOI BibTeX RDF
82	Hyungill Kim, Sungyoung Lee, Byeong-Soo Jeong	An improved feasible shortest path real-time fault-tolerant scheduling algorithm.	RTCSA	2000	DBLP DOI BibTeX RDF	feasible shortest path real time fault tolerant scheduling algorithm, real time single processor environment, queue based scheduling techniques, feasible shortest path algorithm, linear time heuristics, FSP algorithm, optimal fault tolerant schedules, LTH algorithm, real time scheduling performance, backup scheduling, minimum inter-fault time, primary tasks, fault tolerant schedule, backup schedules, scheduling, fault tolerance, real-time systems, computational complexity, fault tolerant computing, queueing theory, time complexity, timing constraints, system performance, greedy heuristics, time interval, real time computer systems
72	Dong Lu, Peter A. Dinda, Yi Qiao, Huanyuan Sheng	Effects and Implications of File Size/Service Time Correlation onWeb Server Scheduling Policies.	MASCOTS	2005	DBLP DOI BibTeX RDF
54	Iman Narasamdya, Michaël Périn	Certification of Smart-Card Applications in Common Criteria.	FASE	2009	DBLP DOI BibTeX RDF
54	Dong Lu, Huanyuan Sheng, Peter A. Dinda	Size-Based Scheduling Policies with Inaccurate Scheduling Information.	MASCOTS	2004	DBLP DOI BibTeX RDF
47	Zhiwang Zhang, Yong Shi 0001	The Characteristic Analysis of Web User Clusters Based on Frequent Browsing Patterns.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	WUM, FSP, clustering
47	Eric Y. Chen, Akinori Yonezawa	FSP: Federation of Service Providers on the Internet.	ISCC	2003	DBLP DOI BibTeX RDF
36	Gang Chen 0002, Chor Ping Low, Zhonghua Yang	Coordinated Services Provision in Peer-to-Peer Environments.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	Federated Service Providing System, Policy-driven decision-making, Coordination, P2P System
36	Christie I. Ezeife, Mostafa Monwar	SSM : A Frequent Sequential Data Stream Patterns Miner.	CIDM	2007	DBLP DOI BibTeX RDF
36	Dianxiang Xu, Izzat Alsmadi, Weifeng Xu	Model Checking Aspect-Oriented Design Specification.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
36	Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt	Concurrent aspects.	GPCE	2006	DBLP DOI BibTeX RDF	Java, concurrency, formal verification, aspect-oriented programming, implementation
36	Jeff Kramer	Component-Based Modeling, Analysis and Animation.	CCGRID	2006	DBLP DOI BibTeX RDF
36	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	LTSA-WS: a tool for model-based verification of web service compositions and choreography.	ICSE	2006	DBLP DOI BibTeX RDF	model-checking, web service compositions, choreography, BPEL4WS, WS-CDL
36	Wei-Ta Chen, Yi-Ling Chen, Ming-Syan Chen	Mining Frequent Spatial Patterns in Image Databases.	PAKDD	2006	DBLP DOI BibTeX RDF	Image mining, spatial pattern
36	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Tool Support for Model-Based Engineering of Web Service Compositions.	ICWS	2005	DBLP DOI BibTeX RDF
36	Bei Di Chen, Muthucumaru Maheswaran	A Fair Synchronization Protocol with Cheat Proofing for Decentralized Online Multiplayer Games.	NCA	2004	DBLP DOI BibTeX RDF
36	Sungjune Hong, Sunyoung Han, Keecheon Kim, Jinpyo Hong, Kwanho Song	Personal Service on Application Level Active Network for Ubiquitous Computing Environments.	ICOIN	2004	DBLP DOI BibTeX RDF
36	Eric J. Friedman, Shane G. Henderson	Fairness and efficiency in web server protocols.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	starvation avoidance, processor sharing
36	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Model-based Verification of Web Service Compositions.	ASE	2003	DBLP DOI BibTeX RDF
29	João Paulo Barros	Specific proposals for the use of petri nets in a concurrent programming course.	ITiCSE	2002	DBLP DOI BibTeX RDF	FSP, process algebra, state machines, introductory course, LTSA
29	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Detecting implied scenarios in message sequence chart specifications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA
29	Zhigang Wang 0001, Yilei Tu, Ning Wang, Lixin Gao 0001, Jie Nie, Zhiqiang Wei 0002, Yu Gu 0002, Ge Yu 0001	FSP: Towards Flexible Synchronous Parallel Frameworks for Distributed Machine Learning.	IEEE Trans. Parallel Distributed Syst.	2023	DBLP DOI BibTeX RDF
29	Yuxuan Chen, Li Zhang 0045, Shijian Li, Xili Chen, Gang Pan 0001, Zhijie Pan	RM-FSP: Regret minimization optimizes neural fictitious self-play.	Neurocomputing	2023	DBLP DOI BibTeX RDF
29	Alberto Ottimo, Gabriele Mencagli, Marco Danelutto	FSP: a Framework for Data Stream Processing Applications targeting FPGAs.	PDP	2023	DBLP DOI BibTeX RDF
29	Varsha Bhole, Arun Kumar	Flutter-Based Real-Time Mobile App for Fruit Shelf-Life Prediction (FSP) Using Multi-Modality Imaging.	Int. J. Inf. Retr. Res.	2022	DBLP DOI BibTeX RDF
29	Aeri Kim, Seungju Lee, Eunji Kwon, Seokhyeong Kang	Adaptive FSP: Adaptive Architecture Search with Filter Shape Pruning.	ACCV (1)	2022	DBLP DOI BibTeX RDF
29	Yu Pang, Xiaosheng Yu, Yunhe Wu, Chengdong Wu	FSP: a feedback-based saliency propagation method for saliency detection.	J. Electronic Imaging	2020	DBLP DOI BibTeX RDF
29	Haydar Ankishan	Classification of acoustic signals with new feature: Fibonacci space (FSp).	Biomed. Signal Process. Control.	2019	DBLP DOI BibTeX RDF
29	Spyros Papadimitriou, Konstantina Chrysafiadi, Margaritis Kamitsios, Maria Virvou	FSP Creator: A Novel Web Service API Creator of Fuzzy Students Progress Profile.	IISA	2018	DBLP DOI BibTeX RDF
29	Zhigang Wang 0001, Lixin Gao 0001, Yu Gu 0002, Yubin Bao, Ge Yu 0001	FSP: towards flexible synchronous parallel framework for expectation-maximization based algorithms on cloud.	SoCC	2017	DBLP DOI BibTeX RDF
29	Julia Rebholz, Katharina Grossmann, David Pham, Suman Pokhrel, Lutz Mädler, Udo Weimar, Nicolae Barsan	Selectivity Enhancement by Using Double-Layer MOX-Based Gas Sensors Prepared by Flame Spray Pyrolysis (FSP).	Sensors	2016	DBLP DOI BibTeX RDF
29	Frank Hannig, Dirk Koch, Daniel Ziener	Proceedings of the Second International Workshop on FPGAs for Software Programmers (FSP 2015).	CoRR	2015	DBLP BibTeX RDF
29	Amelia Badica, Costin Badica, Marius Brezovan	FSP Modeling of a Generic Distributed Swarm Computing Framework.	IDC	2015	DBLP DOI BibTeX RDF
29	Frank Hannig, Dirk Koch, Daniel Ziener	Proceedings of the First International Workshop on FPGAs for Software Programmers (FSP 2014).	CoRR	2014	DBLP BibTeX RDF
29	Shay Nachmani, Amir Herzberg	Inter-FSP Funds Transfer Protocol.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
29	Amelia Badica, Costin Badica	FSP and FLTL framework for specification and verification of middle-agents.	Int. J. Appl. Math. Comput. Sci.	2011	DBLP DOI BibTeX RDF
29	Omid Bushehrian	The Application of FSP Models in Automatic Optimization of Software Deployment.	ASMTA	2011	DBLP DOI BibTeX RDF
29	Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee	Translating FSP into LOTOS and networks of automata.	Formal Aspects Comput.	2010	DBLP DOI BibTeX RDF
29	Ze Tao	Research on FSP with multi-workstation operation in auto assemble workshop.	ICNC	2010	DBLP DOI BibTeX RDF
29	Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi	Analyzing Chor Specifications by Translation into FSP.	FOCLASA	2009	DBLP DOI BibTeX RDF
29	Amelia Badica, Costin Badica	Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP.	MSVVEIS	2008	DBLP BibTeX RDF
29	D. D. Rice, Gardiner S. Stiles	Multi-threaded Java Design Using Finite State Processes (FSP) and the Labeled Transition System Analyzer.	PDPTA	2002	DBLP BibTeX RDF
29	François G. Pin, Charles J. Hacker, Kathryn B. Gower, Kristi A. Morgansen	Including a non-holonomic constraint in the FSP (full space parameterization) method for mobile manipulators' motion planning.	ICRA	1997	DBLP DOI BibTeX RDF
29	François G. Pin, Kristi A. Morgansen, Faithlyn A. Tulloch, Charles J. Hacker, Kathryn B. Gower	Motion planning for mobile manipulators with a non-holonomic constraint using the FSP (full space parameterization) method.	J. Field Robotics	1996	DBLP DOI BibTeX RDF
29	François G. Pin, Faithlyn A. Tulloch	Resolving kinematic redundancy with constraints using the FSP (full space parameterization) approach.	ICRA	1996	DBLP DOI BibTeX RDF
28	Herng-Hua Chang, Daniel J. Valentino, Woei-Chyn Chu	Active Shape Modeling with Electric Flows.	IEEE Trans. Vis. Comput. Graph.	2010	DBLP DOI BibTeX RDF	finite-size particle (FSP), Poisson's equation, electrostatic equilibrium, deformable models, Shape modeling, particle systems, shape recovery
18	Bernd Heinrich, Matthias Henneberger, Susanne Leist, Gregor Zellner	The process map as an instrument to standardize processes: design and application at a financial service provider.	Inf. Syst. E Bus. Manag.	2009	DBLP DOI BibTeX RDF	Financial service provider, Business process management, Process map
18	Jun Ma, Guanzhong Dai, Jing Zhou	Anomalous Payload Detection System Using Analysis of Frequent Sequential Pattern.	IAS	2009	DBLP DOI BibTeX RDF
18	Alberto V. Donati, Vince Darley, Bala Ramachandran	An Ant-bidding Algorithm for Multistage Flowshop Scheduling Problem: Optimization and Phase Transitions.	Advances in Metaheuristics for Hard Optimization	2008	DBLP DOI BibTeX RDF
18	Amelia Badica, Costin Badica	Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods.	AIMSA	2008	DBLP DOI BibTeX RDF
18	Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel	MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.	ETX	2007	DBLP DOI BibTeX RDF	FLTL, synthesis, scenarios, Eclipse, MTS
18	Osmar R. Zaïane, Yang Wang, Randy Goebel, Gregory J. Taylor	Frequent Subsequence-Based Protein Localization.	BioDM	2006	DBLP DOI BibTeX RDF
18	Zonghua Gu 0001, Kang G. Shin	Model-Checking of Component-Based Event-Driven Real-Time Embedded Software.	ISORC	2005	DBLP DOI BibTeX RDF
18	Rolf Hennicker, Matthias Ludwig 0002	Property-Driven Development of a Coordination Model for Distributed Simulations.	FMOODS	2005	DBLP DOI BibTeX RDF
18	Mingwei Gong, Carey L. Williamson	Simulation Evaluation of Hybrid SRPT Scheduling Policies.	MASCOTS	2004	DBLP DOI BibTeX RDF	Scheduling, Performance Analysis, Trace-Driven Simulation, Web Server Performance
18	Andrew J. Bennett, A. J. Field	Performance Engineering with the UML Profile for Schedulability, Performance and Time: A Case Study.	MASCOTS	2004	DBLP DOI BibTeX RDF
18	Juan Humberto Sossa Azuela, Ricardo Barrón, Roberto Antonio Vázquez	Transforming Fundamental Set of Patterns to a Canonical Form to Improve Pattern Recall.	IBERAMIA	2004	DBLP DOI BibTeX RDF
18	Jeff Kramer, Jeff Magee, Sebastián Uchitel	Software Architecture Modeling & Analysis: A Rigorous Approach.	SFM	2003	DBLP DOI BibTeX RDF