Search results for "hierarchical systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Debmalya Biswas, K. Vidyasankar	Modeling Visibility in Hierarchical Systems.	ER	2006	DBLP DOI BibTeX RDF	Noticeability, Hierarchical Web Services Compositions, Correlation, Visibility, Coherence, Hierarchical Systems
2	Chun-Chen Hsu, Chien-Min Wang, Pangfeng Liu	Optimal replication transition strategy in distributed hierarchical systems.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Marco Panunzio, Tullio Vardanega	An Approach to the Timing Analysis of Hierarchical Systems.	RTCSA	2007	DBLP DOI BibTeX RDF
2	Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir	Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot.	ISoLA	2006	DBLP DOI BibTeX RDF
2	Sotirios G. Ziavras	Efficient Mapping Algorithms for a Class of Hierarchical Systems.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	high-performance requirements, processassignment, scheduling, computer vision, computer vision, image processing, image processing, parallel architectures, hierarchical systems, multiprocessorinterconnection networks, mapping algorithms, parallel computing systems, mapping techniques
1	Benjamin Aminof, Orna Kupferman, Aniello Murano	Improved model checking of hierarchical systems.	Inf. Comput.	2012	DBLP DOI BibTeX RDF
1	Zhenyu Yan, Yacov Y. Haimes	Risk-based multiobjective resource allocation in hierarchical systems with multiple decisionmakers. Part I: Theory and methodology.	Systems Engineering	2011	DBLP DOI BibTeX RDF
1	Zhenyu Yan, Yacov Y. Haimes	Risk-based multiobjective resource allocation in hierarchical systems with multiple decisionmakers. Part II. A case study.	Systems Engineering	2011	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Yang Liu 0003, Songzheng Song, Jin Song Dong, Xiaohong Li	PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Truong Khanh Nguyen, Jun Sun 0001, Yang Liu, Jin Song Dong	A model checking framework for hierarchical systems.	ASE	2011	DBLP DOI BibTeX RDF
1	Marek Tudruj, Lukasz Masko	Communication on the Fly for Hierarchical Systems of Chip Multi-processors.	PARELEC	2011	DBLP DOI BibTeX RDF
1	Pierre-François Dutot, Fanny Pascual, Krzysztof Rzadca, Denis Trystram	Approximation Algorithms for the Multiorganization Scheduling Problem.	IEEE Trans. Parallel Distrib. Syst.	2011	DBLP DOI BibTeX RDF	Scheduling, cooperation, hierarchical systems
1	Benjamin Aminof, Orna Kupferman, Aniello Murano	Improved Model Checking of Hierarchical Systems.	VMCAI	2010	DBLP DOI BibTeX RDF
1	Liudong Xing, Akhilesh Shrestha, Leila Meshkat, Wendai Wang	Incorporating Common-Cause Failures Into the Modular Hierarchical Systems Analysis.	IEEE Transactions on Reliability	2009	DBLP DOI BibTeX RDF
1	Debmalya Biswas, Krishnamurthy Vidyasankar	Formalizing visibility characteristics in hierarchical systems.	Data Knowl. Eng.	2009	DBLP DOI BibTeX RDF
1	Hans P. Zima, Mary W. Hall, Chun Chen, Jacqueline Chame	Model-guided autotuning of high-productivity languages for petascale computing.	HPDC	2009	DBLP DOI BibTeX RDF	high-productivity languages, model-guided autotuning, peta-scale computing
1	Sébastien Rufiange, Michael J. McGuffin, Christopher P. Fuhrman	Visualisation hybride des liens hiérarchiques incorporant des treemaps dans une matrice d'adjacence.	IHM	2009	DBLP DOI BibTeX RDF	compound graphs, interaction, information visualization, networks, aggregation
1	Carsten Clauss, Stefan Lankes, Thomas Bemmerl	MPIXternal: A library for a portable adjustment of parallel MPI applications to heterogeneous environments.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Florin-Gheorghe Filip, Kauko Leiviskä	Large-Scale Complex Systems.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
1	Sophie Quinton, Susanne Graf	Contract-Based Verification of Hierarchical Systems of Components.	SEFM	2008	DBLP DOI BibTeX RDF
1	Elizabeth Losh	In polite company: rules of play in five Facebook games.	Advances in Computer Entertainment Technology	2008	DBLP DOI BibTeX RDF	Facebook applications, social networks, computer games
1	Hans P. Zima	High-Productivity Programming and Execution Models for Multi-core Based Parallel Systems.	CSE	2008	DBLP DOI BibTeX RDF
1	Abdelkrim Amirat, Mourad Oussalah	Hierarchical Model to Develop Component-Based Systems.	ECBS	2008	DBLP DOI BibTeX RDF
1	S. Veera Ragavan, Velappa Ganapathy	A Novel Decentralised Software Process Approach For Realtime Navigation Of Service Robots.	RAM	2008	DBLP DOI BibTeX RDF
1	Qian Huang, King-Tim Ko, Villy Bæk Iversen	Approximation of loss calculation for hierarchical networks with multiservice overflows.	IEEE Transactions on Communications	2008	DBLP DOI BibTeX RDF
1	Amir G. Aghdam, Edward J. Davison	Decentralized switching control for hierarchical systems.	Automatica	2007	DBLP DOI BibTeX RDF
1	Gerard L. Reijns, Arjan J. C. van Gemund	Reliability Analysis of Hierarchical Systems Using Statistical Moments.	IEEE Transactions on Reliability	2007	DBLP DOI BibTeX RDF
1	Akhilesh Shrestha, Liudong Xing	Common-Cause Failure Analysis for Dynamic Hierarchical Systems.	AINA Workshops	2007	DBLP DOI BibTeX RDF
1	Radek Jun, Ivan Jelínek	A method for ontologies structures and contents comparison.	CompSysTech	2007	DBLP DOI BibTeX RDF	ontology, semantic web, OWL
1	Shishir Bharathi, Ann L. Chervenak	Design of a Scalable Peer-to-Peer Information System Using the GT4 Index Service.	CCGRID	2007	DBLP DOI BibTeX RDF
1	Jan Ploski, Wilhelm Hasselbring	Exception Handling in an Event-Driven System.	ARES	2007	DBLP DOI BibTeX RDF
1	Enrique Pena, Miguel Rios, Christian Oberli, Vladimir Marianov	PoQBA: A New Path Admission Control for Diffserv Networks.	NBiS	2007	DBLP DOI BibTeX RDF	QoS Broker, Admission Control
1	Deepak D'Souza, Madhu Gopinathan	Computing Complete Test Graphs for Hierarchical Systems.	SEFM	2006	DBLP DOI BibTeX RDF
1	Lam-Son Lê, Alain Wegmann	SeamCAD: Object-Oriented Modeling Tool for Hierarchical Systems in Enterprise Architecture.	HICSS	2006	DBLP DOI BibTeX RDF	Living System Theory, Business Thinking, Systemic Enterprise Architecture Methodology, UML, Requirement Engineering, Enterprise Architecture, CAD tool, Service Engineering, RM-ODP
1	Bryan Horling, Victor R. Lesser	Using queuing theory to predict organizational metrics.	AAMAS	2006	DBLP DOI BibTeX RDF	organizations, queuing theory, hierarchical systems, organizational modeling, quantitative modeling
1	Petros Belsis, Kostas Fragos, Stefanos Gritzalis, Christos Skourlas	SF-HME system: a hierarchical mixtures-of-experts classification system for spam filtering.	SAC	2006	DBLP DOI BibTeX RDF	hierarchical systems of experts, spam mail, machine learning
1	Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee	Incremental schedulability analysis of hierarchical real-time components.	EMSOFT	2006	DBLP DOI BibTeX RDF	associative real-time interfaces, compositional schedulability analysis, incremental schedulability analysis, hierarchical scheduling
1	Michael von der Beeck	A Formal Semantics of UML-RT.	MoDELS	2006	DBLP DOI BibTeX RDF
1	Damon Mosk-Aoyama, Mihalis Yannakakis	Testing hierarchical systems.	SODA	2005	DBLP DOI BibTeX RDF
1	Han Gao, Ivan R. Judson, Thomas D. Uram, S. Lefvert, Terry Disz, Michael E. Papka, Rick L. Stevens	An Infrastructure of Network Services for Seamless Integration in Advanced Collaborative Computing Environments.	CLUSTER	2005	DBLP DOI BibTeX RDF
1	Krishnendu Chakrabarty, Vikram Iyengar, Mark D. Krasniewski	Test planning for modular testing of hierarchical SOCs.	IEEE Trans. on CAD of Integrated Circuits and Systems	2005	DBLP DOI BibTeX RDF
1	Ron van der Meyden, Thomas Wilke	Synthesis of Distributed Systems from Knowledge-Based Specifications.	CONCUR	2005	DBLP DOI BibTeX RDF
1	Erik Meer	A BDD-Based Interactive Configurator for Modular Systems.	CP	2005	DBLP DOI BibTeX RDF
1	Vladimir S. Zaborovskii, Y. A. Shemanin, Andrey Rudskoy	Architecture of Distributed Network Processors: Specifics of Application in Information Security Systems.	ICN	2005	DBLP DOI BibTeX RDF
1	Albano Alves, António Pina, José Exposto, José Rufino	Mapping Application-Level Components into Hierarchical Systems Resources.	PDPTA	2004	DBLP BibTeX RDF
1	Hao Yang, Haiyun Luo, Yi Yang, Songwu Lu, Lixia Zhang	HOURS: Achieving DoS Resilience in an Open Service Hierarchy.	DSN	2004	DBLP DOI BibTeX RDF
1	Qiang Xu, Nicola Nicolici	Time/Area Tradeoffs in Testing Hierarchical SOCs With Hard Mega-Cores.	ITC	2004	DBLP DOI BibTeX RDF
1	Michael Balzer, Oliver Deussen	Hierarchy Based 3D Visualization of Large Software Structures.	IEEE Visualization	2004	DBLP DOI BibTeX RDF
1	Jack Dongarra	Present and Future Supercomputer Architectures.	ISPA	2004	DBLP DOI BibTeX RDF
1	Rafael Alcalá, José Ramón Cano, Oscar Cordón, Francisco Herrera, Pedro Villar, Igor Zwir	Linguistic modeling with hierarchical systems of weighted linguistic rules.	Int. J. Approx. Reasoning	2003	DBLP DOI BibTeX RDF
1	Charles D. McAllister	Issues on simulation and optimization I: robust simulation-based design of hierarchical systems.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
1	Giuseppe Lipari, Enrico Bini	Resource Partitioning among Real-Time Applications.	ECRTS	2003	DBLP DOI BibTeX RDF
1	Alain Wegmann, Otto Preiss	MDA in Enterprise Architecture? The Living System Theory to the Rescue....	EDOC	2003	DBLP DOI BibTeX RDF
1	Huan Jin, Carsten Maple	A Generic Visualisation and Editing Tool for Hierarchical and Object-Oriented Systems.	IV	2003	DBLP DOI BibTeX RDF
1	Xiaodong Wang, Haiyan Sun, Ming Xu, Xingming Zhou	Dynamics in Hierarchical CSCW Systems.	APPT	2003	DBLP DOI BibTeX RDF
1	Tim French	Decidability of Propositionally Quantified Logics of Knowledge.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
1	Thomas Bittner, John G. Stell	Stratified Rough Sets and Vagueness.	COSIT	2003	DBLP DOI BibTeX RDF
1	Jetty Kleijn	Team Automata for CSCW - A Survey.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
1	Jason H. Moore, Lance W. Hahn	Grammatical Evolution for the Discovery of Petri Net Models of Complex Genetic Systems.	GECCO	2003	DBLP DOI BibTeX RDF
1	Waldemar Korczynski, José de Jesús Cruz Guzmán, Zbigniew Oziewicz	Multilevel System as Multigraph.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
1	Rafael Alcalá, Jorge Casillas, Oscar Cordón, Francisco Herrera, Igor Zwir	Hybridizing Hierarchical and Weighted Linguistic Rules.	SAC	2002	DBLP DOI BibTeX RDF	extended linguistic modeling, hierarchical fuzzy systems, weighted fuzzy rules, genetic algorithms
1	Jesper Larsson Träff	Implementing the MPI process topology mechanism.	SC	2002	DBLP DOI BibTeX RDF
1	Jesper Larsson Träff	Improved MPI All-to-all Communication on a Giganet SMP Cluster.	PVM/MPI	2002	DBLP DOI BibTeX RDF
1	Jolon Faichney, Ruben Gonzalez	Goldleaf Hierarchical Document Browser.	AUIC	2001	DBLP DOI BibTeX RDF
1	Michael Affenzeller, Franz Pichler, Rudolf Mittelmann	On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Leonid B. Sokolinsky	Organization of Parallel Query Processing in Multiprocessor Database Machines with Hierarchical Architecture.	Programming and Computer Software	2001	DBLP DOI BibTeX RDF
1	Sudipto Guha, Adam Meyerson, Kamesh Munagala	Hierarchical Placement and Network Design Problems.	FOCS	2000	DBLP DOI BibTeX RDF	subscriber loops, hierarchical placement, layered network design problems, constant approximations, bounded miss rates, minimum total cost, routing demand, layered caching scenarios, combinatorial approximation, multi-level facility location problem, load-balanced facility location problem, open facilities, access network design problem, resource allocation, facility location, cache storage, file organisation, approximation theory, hierarchical systems, network synthesis, hierarchical caching
1	Gregorio Ambrosio, Javier González	Extracting and Matching Perceptual Groups for Hierarchical Stereo Vision.	ICPR	2000	DBLP DOI BibTeX RDF
1	Hiroshi Hosobe	A Scalable Linear Constraint Solver for User Interface Construction.	CP	2000	DBLP DOI BibTeX RDF
1	Irina A. Lomazova, Ph. Schnoebelen	Some Decidability Results for Nested Petri Nets.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
1	Franz Pichler	Modeling Complex Systems by Multi-agent Holarchies.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen	Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.	TACAS	1999	DBLP DOI BibTeX RDF
1	Li-Xin Wang	Modeling and control of hierarchical systems with fuzzy systems.	Automatica	1997	DBLP DOI BibTeX RDF
1	Chris George, Do Tien Dung	Combining and Distributing Hierarchical Systems.	Requirements Targeting Software and Systems Engineering	1997	DBLP DOI BibTeX RDF
1	Bernd Finkbeiner, Zohar Manna, Henny Sipma	Deductive Verification of Modular Systems.	COMPOS	1997	DBLP DOI BibTeX RDF
1	Gillian Hill	An Architecture for Complex Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Hui-Min Huang	An Architecture and a Methodology for Intelligent Control. (PDF / PS)	IEEE Expert	1996	DBLP DOI BibTeX RDF	multiple dimensional architecture, object oriented, methodology, automation, intelligent control, task analysis, functional decomposition, hierarchical systems
1	Chunhui Xu, Kyoichi Kijima	Dominant incentive strategies for hierarchical systems with incomplete information structure.	IEEE Transactions on Systems, Man, and Cybernetics	1995	DBLP DOI BibTeX RDF
1	Zuan Zhang	An approach to hierarchy model checking via evaluating CTL hierarchically.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	hierarchy model checking, CTL specifications, computational complexity, formal specification, formal verification, Symbolic Model Checking, formal logic, CTL, logic partitioning, hierarchical systems, Computational Tree Logic, local properties
1	Zoltan Kato, Josiane Zerubia, Marc Berthod	Unsupervised Parallel Image Classificiation Using a Hierarchical Markovian Model. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	unsupervised parallel image classification, hierarchical Markovian model, segmentation problem, hidden label field parameters, observable image, iterative conditional estimation, estimation-maximization algorithm, tentative labeling, Connection Machine CM200, comparative tests, noisy synthetic images, noisy real images, computer vision, parallel processing, image segmentation, Markov random fields, Markov processes, iterative methods, image classification, remote sensing, remote sensing, maximum likelihood estimation, maximum likelihood estimate, random processes, hierarchical systems, maximum a posteriori estimate, model parameters
1	Herbert Praehofer, Franz Pichler	Multifacetted, Object Oriented Modeling in the Transportation Domain.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Martin Lang, Matthias Stümpfle, Hartmut Kocher	Building a Hierarchical CAN-Simulator Using an Object-Oriented Environment.	MMB	1995	DBLP DOI BibTeX RDF
1	Vincenzo Grassi	Dependability Evaluation of Hierarchical Systems.	Acta Inf.	1994	DBLP DOI BibTeX RDF
1	Suresh B. Marapane, Mohan M. Trivedi	Multi-Primitive Hierarchical (MPH) Stereo Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	multi-primitive hierarchical stereo analysis, hierarchical control strategy, region-based analysis module, linear edge segment-based analysis module, edgel-based stereo analysis module, multiple abstraction, image segmentation, edge detection, stereo image processing, hierarchical systems, image regions, disparity maps
1	Georgios I. Papadimitriou	Hierarchical Discretized Pursuit Nonlinear Learning Automata with Rapid Convergence and High Accuracy.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	rapid convergence, absorbing multiaction learning automaton, discretized pursuit nonlinear learning automata, stationary stochastic environment, pursuit learning, nonlinear output function, epsilon-optimal learning, positioning algorithm, convergence, unsupervised learning, finite automata, nonlinear systems, hierarchical systems, hierarchical tree
1	Vijay K. Garg, Joydeep Ghosh	Repeated Computation of Global Functions in a Distributed Environment.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	repeated computation, global functions, hierarchy reorganization, revolving hierarchical scheme, message reduction, message reuse, distributed branch-and-bound problem, distributed algorithms, fairness, permutations, distributed programs, fixed points, distributed environment, hierarchical systems, function evaluation, asynchronous computation
1	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
1	William Tsun-Yuk Hsu, Pen-Chung Yew	The Performance of Hierarchical Systems with Wiring Constraints.	ICPP	1991	DBLP BibTeX RDF
1	Sanjay Sharma	Real-time Visualization of Concurrent Processes.	CONPAR	1990	DBLP DOI BibTeX RDF
1	Yuan-Bao Shieh, Dipak Ghosal, Satish K. Tripathi	Modeling of fault-tolerant techniques in hierarchical systems.	FTCS	1989	DBLP DOI BibTeX RDF
1	Panos J. Antsaklis, Kevin M. Passino, S. J. Wang	Towards intelligent autonomous control systems: Architecture and fundamental issues.	Journal of Intelligent and Robotic Systems	1989	DBLP DOI BibTeX RDF	Automatic control theory, artificial intelligence, hybrid systems, intelligent systems, intelligent control, hierarchical systems, autonomous control
1	Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted	Infinite Normal Forms (Preliminary Version).	ICALP	1989	DBLP DOI BibTeX RDF
1	Alfred G. Dale, Nell B. Dale	Schema and Occurence Structure Transformations in Hierarchical Systems.	SIGMOD Conference	1976	DBLP BibTeX RDF
1	Paul Losleben	Design validation in hierarchical systems.	DAC	1975	DBLP BibTeX RDF