Search results for "Subsystems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	Jack Alexander Goossen, Tomas Henriksson	Media Player Software in a System of Subsystems.	WICSA	2008	DBLP DOI BibTeX RDF	system of subsystems, system integration, architectural analysis, software decomposition
55	Hisham Haddad, Herbert Tesser	Reusable subsystems: domain-based approach.	SAC	2002	DBLP DOI BibTeX RDF	atomic domain, domain-based reuse methodologies, reusable subsystems, wrapper
47	Roman Obermaisser	Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol.	Monterey Workshop	2006	DBLP DOI BibTeX RDF
47	Sang Seok Lim, Kyu Ho Park	DNS: Disk-to-Network Splicing for Network Driven Data Transferring.	SAINT	2004	DBLP DOI BibTeX RDF
47	Richard A. Kemmerer, Tad Taylor	A Modular Covert Channel Analysis Methodology for Trusted DG/UXTM.	ACSAC	1996	DBLP DOI BibTeX RDF	modular covert channel analysis methodology, Trusted DG/UX, CCA approach, subsystem architecture, DG/UX kernel, system state, abstract object, Ratings Maintenance Program, RAMP, SRM analysis, exported function, peer subsystems, kernel-wide SRM, commercial strength Unix system, operating system kernels, system calls, modular approach
46	Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel	Hybrid specification of control systems.	ICECCS	1995	DBLP DOI BibTeX RDF	control system development, hybrid specification, formal software specification language, multidisciplinary development, control models, ASTRAL specifications, MatLab software packages, discrete subsystems, continuous subsystems, robot control system, continuous system models, simulation, simulation, formal specification, robots, formal verification, formal verification, specification languages, specification language, control theory, control theory, system behavior, control system CAD, discrete time systems, continuous time systems
42	Martin Schlager, Wolfgang Herzner, Andreas Wolf, Oliver Gründonner, Maximilian Rosenblattl, Erwin Erkinger	Encapsulating Application Subsystems Using the DECOS Core OS.	SAFECOMP	2006	DBLP DOI BibTeX RDF
42	Jeremy Singer, Chris C. Kirkham	Visualized adaptive runtime subsystems.	SOFTVIS	2006	DBLP DOI BibTeX RDF
40	Zhen Ming Jiang, Ahmed E. Hassan, Richard C. Holt	Visualizing Clone Cohesion and Coupling.	APSEC	2006	DBLP DOI BibTeX RDF
40	Anders Furuskar, Jens Zander	Multiservice allocation for multiaccess wireless systems.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
40	Germano Resconi	Partition of Systems by General System Logical Theory (GSLT).	EUROCAST	1999	DBLP DOI BibTeX RDF
40	Maosen Cao, Pizhong Qiao, Qingwen Ren	Improved hybrid wavelet neural network methodology for time-varying behavior prediction of engineering structures.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Prediction of time-varying behavior, Neuro-wavelet modeling, Structural safety, Neural networks, Wavelet, Deformation, Optimization models, Subsystems, Nonlinear analysis
40	Hsi-Wu Lo, Tei-Wei Kuo, Kam-yiu Lam	Multi-disk Scheduling for High-Performance RAID-0 Devices.	RTCSA	2003	DBLP DOI BibTeX RDF	RAID-0 devices, intelligent I/O, multimedia storage systems, multi-disk scheduling, real-time disk scheduling, I/O subsystems
40	Kimberly Williams	Using object oriented analysis and design in a non-object oriented environment experience report.	ICSM	1995	DBLP DOI BibTeX RDF	control system analysis computing, nonobject oriented environment, subsystem development, independent test, Allen-Bradley's 6200 Series Programming Software for Programmable Controllers, structured analysis/structured design subsystems, function point number, code line number, subsystem function number, defect number, defect fixing time, complexity, metrics, software maintenance, software metrics, programming environments, program testing, object oriented design, object-oriented methods, object oriented analysis, structured programming, programmable controllers, control system CAD, development time, Object Modeling Technique
35	Klaus-Dieter Lange	The Next Frontier for Power/Performance Benchmarking: Energy Efficiency of Storage Subsystems.	SPEC Benchmark Workshop	2009	DBLP DOI BibTeX RDF	Performance, Benchmark, Power, Energy, Storage, Server, Datacenter, SPEC
35	Ignacio Araya 0001, Gilles Trombettoni, Bertrand Neveu	Filtering Numerical CSPs Using Well-Constrained Subsystems.	CP	2009	DBLP DOI BibTeX RDF
35	Akram Khan, Achim Schaefer, Markus Zetlmeisl	Efficient Memory-Protected Integration of Add-On Software Subsystems in Small Embedded Automotive Applications.	IEEE Trans. Ind. Informatics	2007	DBLP DOI BibTeX RDF
35	Thomas Nolte, Hans A. Hansson, Lucia Lo Bello	Integration of networked subsystems in a resource constrained environment.	ETFA	2006	DBLP DOI BibTeX RDF
35	Guisheng Zhai, Derong Liu 0001, Joe Imae, Tomoaki Kobayashi	Stability analysis for switched systems with continuous-time and discrete-time subsystems: a Lie algebraic approach.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
35	Suprasad V. Amari, Hoang Pham, G. Dill	Optimal design of k-out-of-n: G subsystems subjected to imperfect fault-coverage.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
35	Adriano Sarmento, Wander O. Cesário, Ahmed Amine Jerraya	Automatic Building of Executable Models from Abstract SoC Architectures Made of Heterogeneous Subsystems.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
35	Taghi M. Khoshgoftaar, Vishal Thaker, Edward B. Allen	Modeling Fault-Prone Modules of Subsystems.	ISSRE	2000	DBLP DOI BibTeX RDF	empirical study, software reliability, classification tree, CART, software quality models, fault-prone modules
35	Carlos Montes de Oca, Doris L. Carver	Identification of Data Cohesive Subsystems Using Data Mining Techniques.	ICSM	1998	DBLP DOI BibTeX RDF	subsystem identification, data mining, association rules, Design recovery
35	Yi-Chun Chu, Toby J. Teorey	Modeling and analysis of the Unix communication subsystems.	CASCON	1996	DBLP BibTeX RDF	TCP/IP, UNIX
35	Roger Zimmermann, Shahram Ghandeharizadeh	Continuous Display Using Heterogeneous Disk-Subsystems.	ACM Multimedia	1997	DBLP DOI BibTeX RDF	continuous media storage systems, heterogeneous disk subsystems, disk arrays, continuous media servers
34	Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin	An Overrun Method to Support Composition of Semi-independent Real-Time Components.	COMPSAC	2008	DBLP DOI BibTeX RDF	Logical resource sharing, Real time systems, Composition, Hierarchical scheduling
34	Roman Obermaisser	Formal Specification of Gateways in Integrated Architectures.	SEUS	2008	DBLP DOI BibTeX RDF
34	Gerard L. Reijns, Arjan J. C. van Gemund	Reliability Analysis of Hierarchical Systems Using Statistical Moments.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
34	Zsófia Lendek, Robert Babuska, Bart De Schutter	Stability of Cascaded Takagi-Sugeno Fuzzy Systems.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
34	Yu Suzuki, Kenji Hatano, Masatoshi Yoshikawa, Shunsuke Uemura, Kyoji Kawagoe	A Relevant Score Normalization Method Using Shannon's Information Measure.	ICADL	2005	DBLP DOI BibTeX RDF
34	Markus Rudack, Michael Redeker, Dieter Treytnar, Ole Mende, Klaus Herrmann 0002	Self-Configuration of a Large Area Integrated Multiprocessor System for Video Applications.	DFT	2000	DBLP DOI BibTeX RDF
34	Miguel A. Serrano, Doris L. Carver, Carlos Montes de Oca	Mapping Object-Oriented Systems to Distributed Systems Using Data Mining Techniques.	IEA/AIE	2000	DBLP DOI BibTeX RDF
34	Etienne Burdet, Marnix Nuttin	Learning Complex Tasks Using a Stepwise Approach.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	learning robots, system organization, physical equation, look-ut table, neural networks, optimization, fuzzy controllers
33	Norman F. Schneidewind	Allocation and analysis of reliability: multiple levels: system, subsystem, and module.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Software reliability allocation and prediction, Hierarchical software system comprised of modules, Subsystems and System
33	Yeimkuan Chang	Partitionability of the Multistage Interconnection Networks.	IPPS	1996	DBLP DOI BibTeX RDF	network partitionability, physically independent subsystems, communication interference, permutation functions, mapping scheme, hypercube structure, fault tolerance, parallel architectures, fault tolerant computing, hypercube networks, multistage interconnection networks, multistage interconnection networks, MIN, switches
29	Dominique Michelucci, Pascal Schreck, Simon E. B. Thierry, Christoph Fünfzig, Jean-David Génevaux	Using the witness method to detect rigid subsystems of geometric constraints in CAD.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF	W-decomposition, rigidity theory, witness configuration, geometric constraints solving, Jacobian matrix
29	Zhong-Yi Jin, Curt Schurgers, Rajesh K. Gupta 0001	A gateway node with duty-cycled radio and processing subsystems for wireless sensor networks.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Embedded systems, power savings, gateway, sensor nodes
29	Zhong-Yi Jin, Curt Schurgers, Rajesh K. Gupta 0001	An Embedded Platform with Duty-Cycled Radio and Processing Subsystems for Wireless Sensor Networks.	SAMOS	2007	DBLP DOI BibTeX RDF
29	Kristis Makris, Kyung Dong Ryu	Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels.	EuroSys	2007	DBLP DOI BibTeX RDF	DynAMOS, adaptive operating system, function cloning, dynamic instrumentation, dynamic software updates
29	Ayman Tajeddine, Ayman I. Kayssi, Ali Chehab, Hassan Artail	PATROL-F - A Comprehensive Reputation-Based Trust Model with Fuzzy Subsystems.	ATC	2006	DBLP DOI BibTeX RDF
29	A. Neslin Ismailoglu, Oguz Benderli, Soner Yesil, Refik Sever, Burak Okcan, O. Sengul, Rusen Öktem	GEZGIN & GEZGIN-2: Adaptive Real-Time Image Processing Subsystems for Earth Observing Small Satellites.	AHS	2006	DBLP DOI BibTeX RDF
29	Adrian Kosowski, Michal Malafiejski, Pawel Zylinski	Parallel Processing Subsystems with Redundancy in a Distributed Environment.	PPAM	2005	DBLP DOI BibTeX RDF
29	Raoul Huys, Andreas Daffertshofer, Peter Jan Beek	Learning to juggle: on the assembly of functional subsystems into a task-specific dynamical organization.	Biol. Cybern.	2003	DBLP DOI BibTeX RDF
29	Sobeeh Almukhaizim, Thomas Verdel, Yiorgos Makris	Cost-Effective Graceful Degradation in Speculative Processor Subsystems: The Branch Prediction Case.	ICCD	2003	DBLP DOI BibTeX RDF
29	Sobeeh Almukhaizim, Peter Petrov, Alex Orailoglu	Faults in Processor Control Subsystems: Testing Correctness and Performance Faults in the Data Prefetching Unit.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
29	Gunnar Övergaard, Karin Palmkvist	Interacting Subsystems in UML.	UML	2000	DBLP DOI BibTeX RDF
29	Rosario Cristaldi, Giulio Iannello	Performance analysis of storage and network subsystems in cluster architectures.	CLUSTER	2000	DBLP DOI BibTeX RDF
29	Daniel C. St. Clair, Albert Wetterstroem, Viginia M. Johnson	ESPAD: an adaptively controlled rule-based expert system for monitoring and diagnosing space vehicle subsystems.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
27	Andrea F. Abate, Maria De Marsico, Michele Nappi, Daniel Riccio	A Self-updating Multiexpert System for Face Identification.	ICIAP	2009	DBLP DOI BibTeX RDF
27	Roman Obermaisser	Temporal Partitioning of Communication Resources in an Integrated Architecture.	IEEE Trans. Dependable Secur. Comput.	2008	DBLP DOI BibTeX RDF	Infrastructure protection, System integration and implementation, Fault-tolerance, Distributed Systems, Design, System architectures, Distributed architectures, Real-time and embedded systems, Network communications, integration and modeling, Real-time distributed
27	Yuji Wakasa, Mizue Arakawa, Kanya Tanaka, Takuya Akashi	Decentralized model predictive control via dual decomposition.	CDC	2008	DBLP DOI BibTeX RDF
27	Liangliang Yang, Yunfei Zhou, Haihong Pan, Wei Teng	Realization of the Synchronization Mechanism of Step and Scan Projection Lithography.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Step and scan projection lithography, state synchronization, high speed high precision motion control, synchronization control
27	Jinchang Wang, Thomas Kämpke	The fastest itinerary in time-dependent decentralized travel information systems.	J. Comb. Optim.	2006	DBLP DOI BibTeX RDF	Fastest path problem, Distributed computing, Shortest path problem, Labeling algorithm
27	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Formal Methods and Cryptography.	FM	2006	DBLP DOI BibTeX RDF
27	Roman Obermaisser, Philipp Peti, Hermann Kopetz	Virtual Gateways in the DECOS Integrated Architecture.	IPDPS	2005	DBLP DOI BibTeX RDF
27	J. Christian Attiogbé	A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems.	ZB	2005	DBLP DOI BibTeX RDF	Refinement, Mutual Exclusion, Event B, Parallel Composition
27	Hyoun-Mi Choi, Mi-Jung Choi, James W. Hong	Design and implementation of XML-based configuration management system for distributed systems.	NOMS (1)	2004	DBLP DOI BibTeX RDF
27	Eugen Brenner, Ivo Derado	UML Extensions for ASAM-GDI Device Capability Description.	UML	2000	DBLP DOI BibTeX RDF
27	Aleksandar M. Bakic, Matt W. Mutka	A Compiler-Based Approach to Design and Engineering of Complex Real-Time Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	Distributed Real-Time System Design, Adaptive Computing Systems, Constraint Logic Programming
27	Chiung-San Lee, Tai-Ming Parng	A Subsystem-Oriented Performance Analysis Methodology for Shared-Bus Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Bottleneck analysis, DMA transfer, separated address bus and data bus, shared-bus multiprocessor system, subsystem access time modeling, subsystem interferences, performance analysis
27	Shing-Chi Cheung, Jeff Kramer	Checking Subsystem Safety Properties in Compositional Reachability Analysis.	ICSE	1996	DBLP BibTeX RDF	automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
27	Xiaotong Zhuang, Hsien-Hsin S. Lee	Reducing Cache Pollution via Dynamic Data Prefetch Filtering.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Prefetch, microarchitecture, memory subsystems
27	Evelina Maria de Almeida Neves, João Eduardo Borelli, Adilson Gonzaga	Target Search by Bottom-Up and Top-Down Fuzzy Information.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	bottom-up fuzzy information, top-down fuzzy information, human visual attention, fuzzy net, fuzzy subsystems, Gestalt laws, salience index, feature extraction, visual perception, visual perception, decision rules, visual field, target search, geometrical objects
27	Hermann Kopetz, Roman Nossal	Temporal firewalls in large distributed real-time systems.	FTDCS	1997	DBLP DOI BibTeX RDF	large distributed real-time systems, temporal firewalls, autonomous subsystems, stable control-free interfaces, encapsulated subsystem, static properties, controlled object, real-time systems, complexity, abstraction, error propagation, system partitioning
27	Karin Erni, Claus Lewerentz	Applying design-metrics to object-oriented frameworks.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	factor-criteria-metrics model, multi-metrics, structural measurements, measurement reports, framework reorganization reviews, stable system designs, object-oriented programming, software developers, software quality, software metrics, feedback, object-oriented methods, classes, object-oriented frameworks, quality model, design principles, incremental development, abstraction levels, design rules, subsystems, program evaluation, graphical applications, object-oriented design metrics
27	Inki Hong, Miodrag Potkonjak	Power optimization in disk-based real-time application specific systems.	ICCAD	1996	DBLP DOI BibTeX RDF	design process abstractions, disk data assignment, electronic components, magnetic disks, mechanical-electronic subsystems, power consumption model, real-time application specific systems, task scheduling, power optimization, power reduction, power minimization, magnetic disc storage, disk drives
27	Ashish Mehra, Atri Indiresan, Kang G. Shin	Structuring communication software for quality-of-service guarantees.	RTSS	1996	DBLP DOI BibTeX RDF	communication software structuring, architectural mechanisms, host communication software, QoS sensitive communication subsystems architecture, real time communication support, generic network hardware, communication resource management, guaranteed QoS real time connections, traffic enforcement, overload protection, real time communication services, software quality, admission control, buffer management, packet switched networks, quality-of-service guarantees, QoS guarantees, link scheduling, real time channels
27	Ryouei Takahashi, Yukihiro Nakamura	The effect of interface complexity on program error density.	ICSM	1996	DBLP DOI BibTeX RDF	interface complexity, program error density, modified parts, unmodified parts, interfaced complexities, functionally related routines, discriminant analyses, reuse-ratio, optimal threshold, extended cyclomatic number, error density, software maintenance, regression analysis, subsystems, software maintainability, software errors, C-coding, software quality classification, AIC
27	Luis F. G. Sarmenta, Gill A. Pratt, Stephen A. Ward	Rational clocking [digital systems design].	ICCD	1995	DBLP DOI BibTeX RDF	rational clocking, independently-clocked digital subsystems, finite probability, phase relationship, delays, delays, logic design, logic design, synchronisation, clocks, minimisation of switching nets, digital systems design, synchronization failure
27	Thomas L. Sterling, Daniel Savarese, Donald J. Becker, Bruce Fryxell, Kevin Olson	Communication Overhead for Space Science Applications on the Beowulf Parallel Workstation.	HPDC	1995	DBLP DOI BibTeX RDF	space science applications, Beowulf parallel workstation, PC-compatible processing subsystems, dual Ethernet networks, single-user environment, Beowulf architecture, space science, natural physical processes, N-body gravitational simulation, visualization, scalability, browsing, parallel machines, computational fluid dynamics, workstations, communication overhead, Earth science, disk drives, remote sensing data, global synchronization
27	Hermann Kopetz	Why time-triggered architectures will succeed in large hard real-time systems.	FTDCS	1995	DBLP DOI BibTeX RDF	large hard real-time systems, encapsulated subsystems, temporal firewalls, sparse time base, replica determinism, time-triggered communication protocol, real-time systems, computational complexity, computer architecture, design principles, time-triggered architectures
27	Rajive L. Bagrodia, Chien-Chung Shen	MIDAS: Integrated Design and Simulation of Distributed Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	partially implemented design, operational subsystems, stochastic performance characteristics, partially elaborated design, distributed systems, virtual machines, distributed processing, system design, interrupts, interrupts, simulation models, hybrid models, executable model, distributed components, simulation language, simulation languages, simulation algorithms, iterative refinement, MIDAS
27	Won Kim 0001, Hong-Tai Chou, Jay Banerjee	Operations and Implementation of Complex Objects.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	storage subsystems, performance analysis, data structures, data structures, relational databases, relational databases, query languages, query languages, storage management, storage management, complex objects
22	Mattias Krysander, Jan Åslund, Mattias Nyberg	An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
22	Shubin Wang, Yanyun Wang 0005, Lingkao Zhang	Parallel Distributed Compensation Fuzzy Control Based on Time-Delay Predictive Controller of Time-Delay T-S Model's Subsystems.	FSKD (5)	2008	DBLP DOI BibTeX RDF
22	Keita Yokoyama	Complex analysis in subsystems of second order arithmetic.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Second order arithmetic, Cauchy’s integral theorem, Reverse mathematics
22	Shawn Phillips, Scott Hauck	Automating the Layout of Reconfigurable Subsystems Using Circuit Generators.	FCCM	2005	DBLP DOI BibTeX RDF
22	Shawn Phillips, Akshay Sharma, Scott Hauck	Automating the Layout of Reconfigurable Subsystems via Template Reduction.	FPL	2004	DBLP DOI BibTeX RDF
22	Seung H. Hwang, Gwan S. Choi	A Reliability Testing Environment for Off-the-Shelf Memory Subsystems.	IEEE Des. Test Comput.	2000	DBLP DOI BibTeX RDF
22	Athena Vakali, Georgios I. Papadimitriou, Andreas S. Pomportsis	A New Approach to the Design of High Performance Multiple Disk Subsystems: Dynamic Load Balancing Schemes.	HPCN	2000	DBLP DOI BibTeX RDF
22	Mariagnese Giusto, Alberto Marcone	Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification:03F35
22	Michael Weeks 0001, Hadj Batatia, Reza Sotudeh	Improved Multimedia Server I/O Subsystems.	EUROMICRO	1998	DBLP DOI BibTeX RDF
22	Dhabaleswar K. Panda 0001	Designing High-Performance Communication Subsystems: Top Five Problems to Solve and Five Problems Not to Solve During the Next Five Years (Panel).	PCRCW	1997	DBLP DOI BibTeX RDF
22	Mengjou Lin, Jenwei Hsieh, David Hung-Chang Du, James A. MacDonald	Performance of high-speed network I/O subsystems: case study of a fibre channel network.	SC	1994	DBLP DOI BibTeX RDF	host interface, performance evaluation, I/O subsystem, fibre channel
22	Cheng-Seen Ho, Chien-Chang Hsu	Neural-network-based blackboard demon subsystems.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	knowledge-based systems, neural net architectures, Blackboard systems
20	Florin Gheorghe Filip, Kauko Leiviskä	Large-Scale Complex Systems.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
20	Robert Schaefer	A systems analysis of systems integration.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF
20	Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke	Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Assume-guarantee reasoning
20	Weihang Jiang, Chongfeng Hu, Yuanyuan Zhou 0001, Arkady Kanevsky	Are disks the dominant contributor for storage failures - A comprehensive study of storage subsystem failure characteristics.	ACM Trans. Storage	2008	DBLP DOI BibTeX RDF	failure characteristics, storage subsystem, Storage system, disk failures
20	Khe Chai Sim, Haizhou Li 0001	On Acoustic Diversification Front-End for Spoken Language Identification.	IEEE Trans. Speech Audio Process.	2008	DBLP DOI BibTeX RDF
20	Richard Primerano, David Wilkie, William C. Regli	Toward a multi-disciplinary model for bio-robotic systems.	ICRA	2008	DBLP DOI BibTeX RDF
20	Qing-Kui Li, Georgi M. Dimirovski, Jun Zhao 0002	A solution to the tracking control problem for switched linear systems with time-varying delays.	CDC	2008	DBLP DOI BibTeX RDF
20	Degang Xu, Zhifang Su	Stability Analysis of Large-scale Time-delay Fuzzy Systems with Hybrid Models.	ICYCS	2008	DBLP DOI BibTeX RDF
20	Tamal Mukherjee, Anton J. Pfeiffer, Steinar Hauan	Physical design issues in biofluidic microchips.	ISPD	2008	DBLP DOI BibTeX RDF	micro total analysis system, microarrays, biochips, lab-on-a-chip, biomems
20	Chris Grier, Shuo Tang, Samuel T. King	Secure Web Browsing with the OP Web Browser.	SP	2008	DBLP DOI BibTeX RDF	security, browser, web security
20	Dirk Beyer 0001	CCVisu: automatic visual software decomposition.	ICSE Companion	2008	DBLP DOI BibTeX RDF	force-directed graph layout, clustering, reverse engineering, software visualization, software quality assurance, software decomposition
20	Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin	Scheduling of semi-independent real-time components: Overrun methods and resource holding times.	ETFA	2008	DBLP DOI BibTeX RDF
20	Suprasad V. Amari, Hoang Pham	A Novel Approach for Optimal Cost-Effective Design of Complex Repairable Systems.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
20	Zeng-Guang Hou, Madan M. Gupta, Peter N. Nikiforuk, Min Tan 0001, Long Cheng 0001	A Recurrent Neural Network for Hierarchical Control of Interconnected Dynamic Systems.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
20	Niko Brümmer, Lukás Burget, Jan Cernocký, Ondrej Glembek, Frantisek Grézl, Martin Karafiát, David A. van Leeuwen, Pavel Matejka, Petr Schwarz, Albert Strasheim	Fusion of Heterogeneous Speaker Recognition Systems in the STBU Submission for the NIST Speaker Recognition Evaluation 2006.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF