|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 634 occurrences of 411 keywords
|
|
|
|
|
Results
Found 925 publication records. Showing 925 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 4 | Long Wang, Fangcui Jiang, Guangming Xie, Zhijian Ji |
Controllability of multi-agent systems based on agreement protocols.  |
Science in China Series F: Information Sciences  |
2009 |
DBLP DOI BibTeX RDF |
structural controllability, high-order dynamic agents, multi-agent systems, graphs, controllability, agreement protocols |
| 4 | Patrick Cannarsa, Genni Fragnelli, Judith Vancostenoble |
Linear Degenerate Parabolic Equations in Bounded Domains: Controllability and Observability.  |
Systems, Control, Modeling and Optimization  |
2006 |
DBLP DOI BibTeX RDF |
linear degenerate equations, regional null controllability, persistent regional null controllability |
| 4 | Sergei V. Ulyanov, Shin Watanabe, Viktor S. Ulyanov, Kazuo Yamafuji, Ludmila V. Litvintseva, Gianguido G. Rizzotto |
Soft computing for the intelligent robust control of a robotic unicycle with a new physical measure for mechanical controllability.  |
Soft Comput.  |
1998 |
DBLP DOI BibTeX RDF |
Soft computing algorithms, Intelligent robot unicycle, Posture stability, Entropy measure of controllability, Controllability, Fuzzy control, Robust control, Biomechanical model |
| 4 | Santonu Sarkar, Anupam Basu, Arun K. Majumdar |
Analyzing Controllability of a Hardware Circuit for its Reuse.  |
VLSI Design  |
1997 |
DBLP DOI BibTeX RDF |
hardware circuit controllability, external controllability, FSM model, finite state machines, finite state machine model |
| 3 | ZhaoQiang Ge, GuangTian Zhu, DeXing Feng |
Exact controllability for singular distributed parameter system in Hilbert space.  |
Science in China Series F: Information Sciences  |
2009 |
DBLP DOI BibTeX RDF |
exact controllability, singular distributed parameter system, Hilbert space |
| 3 | LianWen Wang |
Approximate controllability results of semilinear integrodifferential equations with infinite delays.  |
Science in China Series F: Information Sciences  |
2009 |
DBLP DOI BibTeX RDF |
approximate controllability, semilinear control systems, integrodifferential equations, infinite delays |
| 3 | Hang Yu |
Null controllability for a fourth order parabolic equation.  |
Science in China Series F: Information Sciences  |
2009 |
DBLP DOI BibTeX RDF |
fourth order parabolic equations, null controllability, Lebeau-Rabbiano inequality |
| 3 | YiMin Sun, ShengWei Mei, Qiang Lu |
On global controllability of affine nonlinear systems with a triangular-like structure.  |
Science in China Series F: Information Sciences  |
2007 |
DBLP DOI BibTeX RDF |
affine nonlinear systems, global controllability, vector field |
| 3 | Jin Han Park, Jong Seo Park, Young Chel Ahn, Young Chel Kwun |
Controllability for the Impulsive Semilinear Fuzzy Integrodifferential Equations.  |
ICFIE  |
2007 |
DBLP DOI BibTeX RDF |
Impulsive semilinear fuzzy integrodifferential equations, Controllability |
| 3 | Chuang Lin, Xuehai Peng |
Research on Network Architecture with Trustworthiness and Controllability.  |
J. Comput. Sci. Technol.  |
2006 |
DBLP DOI BibTeX RDF |
security, controllability, cross layer, network architecture, trustworthiness |
| 3 | Jessica Chen, Lihua Duan |
Conditions for Avoiding Controllability Problems in Distributed Testing.  |
ICFEM  |
2006 |
DBLP DOI BibTeX RDF |
unique input/output sequence, controllability, finite state machine, Conformance testing, test sequence |
| 3 | Freddy Y. C. Mang, Pei-Hsin Ho |
Abstraction refinement by controllability and cooperativeness analysis.  |
DAC  |
2004 |
DBLP DOI BibTeX RDF |
formal verification, controllability, cooperativeness, abstraction refinement |
| 3 | Naotake Kamiura, Yutaka Hata, Nobuyuki Matsui |
Controllability/Observability Measures for Multiple-Valued Test Generation Based on D-Algorithm. (PDF / PS)  |
ISMVL  |
2000 |
DBLP DOI BibTeX RDF |
controllability measure, observability measure, test generation, multiple-valued logic, D-algorithm |
| 3 | Yin-He Su, Ching-Hwa Cheng, Shih-Chieh Chang |
Novel techniques for improving testability analysis.  |
Asian Test Symposium  |
2000 |
DBLP DOI BibTeX RDF |
closed-form formulation, implication reasoning, TAIR, tree-structured circuit, logic testing, logic testing, controllability, controllability, built-in self test, automatic test pattern generation, BIST, observability, observability, stuck-at fault, shift registers, testability analysis, test patterns |
| 3 | Ruofan Xu, Michael S. Hsiao |
Embedded core testing using genetic algorithms.  |
Asian Test Symposium  |
2000 |
DBLP DOI BibTeX RDF |
gate level implementation, user defined logic, random inputs, high level benchmarks, wrapper size, genetic algorithms, genetic algorithms, fault diagnosis, logic testing, controllability, controllability, high level synthesis, automatic test pattern generation, observability, observability, application specific integrated circuits, fault coverage, SOC, test application time, test patterns, embedded core testing, internal state |
| 3 | Frank F. Hsu, Janak H. Patel |
High-Level Controllability and Observability Analysis for Test Synthesis.  |
J. Electronic Testing  |
1998 |
DBLP DOI BibTeX RDF |
controllability, observability, high-level test synthesis, behavioral modification |
| 3 | Thierry Vidal, Hélène Fargier |
Contingent Durations in Temporal CSPs: From Consistency to Controllabilities. (PDF / PS)  |
TIME  |
1997 |
DBLP DOI BibTeX RDF |
temporal CSPs, Temporal Constraint Networks, classical network consistency property, Strong, Weak, reasoning issues, tractable subclasses, complexity, controllability, controllability, Dynamic |
| 3 | Lakshminarayana Pappu, Michael L. Bushnell, Vishwani D. Agrawal, Mandyam-Komar Srinivas |
Statistical path delay fault coverage estimation for synchronous sequential circuits.  |
VLSI Design  |
1996 |
DBLP DOI BibTeX RDF |
path delay fault coverage estimation, multi-valued algebra, signal statistics, latch updating, fault diagnosis, logic testing, delays, probability, controllability, controllability, statistical analysis, sequential circuits, observability, observabilities, logic simulation, synchronous sequential circuits, statistical estimation |
| 3 | Jean-Claude Latombe |
Controllability, Recognizability, and Complexity Issues in Robot Motion Planning.  |
FOCS  |
1995 |
DBLP DOI BibTeX RDF |
complexity issues, many-degree-of-freedom robots, computational complexity, computational complexity, mobile robots, controllability, controllability, path planning, path planning, random sampling, autonomous robots, robot motion planning, recognizability |
| 3 | Michel Renovell, Florence Azaïs, Yves Bertrand |
A design-for-test technique for multistage analog circuits.  |
Asian Test Symposium  |
1995 |
DBLP DOI BibTeX RDF |
design-for-test technique, multistage analog circuits, DFT approach, op-amp-based modules, testability resources, transparent paths, external I/O, local I/O, test mode, on-chip digital resources, analog response penalty, controllability, controllability, integrated circuit testing, design for testability, observability, observability, mixed-signal circuits, mixed analogue-digital integrated circuits, test management, production testing |
| 3 | Yeong-Ruey Shieh, Cheng-Wen Wu |
DC control and observation structures for analog circuits.  |
Asian Test Symposium  |
1995 |
DBLP DOI BibTeX RDF |
level-sensitive scan-design, test points, DC voltage levels, diagnosis capability, calibration process, read-out voltage levels, VLSI, VLSI, fault diagnosis, controllability, controllability, integrated circuit testing, calibration, observability, observability, analog circuits, mixed signal circuits, mixed analogue-digital integrated circuits |
| 3 | C. P. Ravikumar, Hemant Joshi |
HISCOAP: a hierarchical testability analysis tool.  |
VLSI Design  |
1995 |
DBLP DOI BibTeX RDF |
HISCOAP, hierarchical testability analysis tool, SCOAP measure, gate-level netlist, SCOAP expression diagrams, VLSI, logic testing, controllability, controllability, sequential circuits, sequential circuits, combinational circuits, combinational circuits, observability, observability, circuit analysis computing, integrated logic circuits, VLSI circuits, functional modules, stuck at fault model |
| 2 | Bo Song, Weibing Yang, Mingyu Chen, Xiaofang Zhao, Jianping Fan 0002 |
Achieving Flow-Level Controllability in Network Intrusion Detection System.  |
SNPD  |
2010 |
DBLP DOI BibTeX RDF |
flow-driven, ATEP, crash detection, quick crash recovery, controllability |
| 2 | Luke Hunsberger |
Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies.  |
TIME  |
2009 |
DBLP DOI BibTeX RDF |
temporal networks, dynamic controllability |
| 2 | Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli |
Observability and Controllability Issues in Conformance Testing of Web Service Compositions.  |
TestCom/FATES  |
2009 |
DBLP DOI BibTeX RDF |
observability and controllability, verdict testing report, Web Service composition, Conformance testing |
| 2 | Pål Liljebäck, Kristin Ytterstad Pettersen, Øyvind Stavdahl, Jan Tommy Gravdahl |
Controllability analysis of planar snake robots influenced by viscous ground friction.  |
IROS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Young Chel Kwun, Ye Bun Kim, Jong Seo Park, Jin Han Park |
Controllability for the Impulsive Semilinear Fuzzy Intergrodifferential Equation in n-Dimension Fuzzy Vector Space.  |
FSKD  |
2009 |
DBLP DOI BibTeX RDF |
impulsive semilinear fuzzy intergrodifferential control system, fuzzy vector space, controllability |
| 2 | Prateep Roy, Arben Çela, Yskandar Hamam |
On the relation of FIM and Controllability Gramian.  |
SIES  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Carlo Combi, Roberto Posenato |
Controllability in Temporal Conceptual Workflow Schemata.  |
BPM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Fabian Hermann, Roland Blach, Doris Janssen, Thorsten Klein, Andreas Schuller, Dieter Spath |
Challenges for User Centered Smart Environments.  |
HCI  |
2009 |
DBLP DOI BibTeX RDF |
system autonomy, privacy, mixed reality, adaptive systems, social software, smart environments, semantic technology, digital identity, user controllability |
| 2 | Jaeheok Ryu, Gyohyeon Song, Seongil Lee, Yoonhyung Cho, Gyouhyung Kyung, Hyungkee Kim, Kyungkuk Baek |
Improving in-Vehicle Display and Control Design for Older Drivers.  |
HCI  |
2009 |
DBLP DOI BibTeX RDF |
older driver, automobile interior, automotive ergonomics, controllability, visibility |
| 2 | Zhiwu Li, Mi Zhao |
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part A  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Ramyanshu Datta, Ravi Gupta, Antony Sebastine, Jacob A. Abraham, Manuel A. d'Abreu |
Controllability of Static CMOS Circuits for Timing Characterization.  |
J. Electronic Testing  |
2008 |
DBLP DOI BibTeX RDF |
Design for test, Delay fault testing, Scan design |
| 2 | Meili Li, Chunhai Kou, Yongrui Duan |
Controllability of Semilinear Impulsive Differential Equations with Nonlocal Conditions.  |
ICIC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Koichi Hamamoto, Hiroshi Fuketa, Masanori Hashimoto, Yukio Mitsuyama, Takao Onoye |
Experimental study on body-biasing layout style-- negligible area overhead enables sufficient speed controllability --.  |
ACM Great Lakes Symposium on VLSI  |
2008 |
DBLP DOI BibTeX RDF |
layout, body bias |
| 2 | Akira Ichikawa |
Null controllability with vanishing energy for discrete-time systems in Hilbert space.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Said Hadd, Qing-Chang Zhong |
Perturbation theory of boundary value problems and approximate controllability of perturbed boundary control problems.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Thomas Chambrion, Paolo Mason, Mario Sigalotti, Ugo V. Boscain |
Controllability properties of discrete-spectrum Schrödinger equations.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Yutaka Yamamoto, Jan C. Willems |
Behavioral controllability and coprimeness for a class of infinite-dimensional systems.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Zhijian Ji, Hai Lin 0002, Tong Heng Lee |
A graph theory based characterization of controllability for multi-agent systems with fixed topology.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Simon Lam, Edward J. Davison |
A fast algorithm to compute the controllability, decentralized fixed-mode, and minimum-phase radius of LTI systems.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Rogelio Lozano, Mark W. Spong, Jose Alfredo Guerrero Mata, Nikhil Chopra |
Controllability and observability of leader-based multi-agent systems.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Cesar O. Aguilar, Andrew D. Lewis |
Jet bundles and algebro-geometric characterisations for controllability of affine systems.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Maurice Heemels, M. Kanat Camlibel |
Null controllability of discrete-time linear systems with input and state constraints.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Simone Martini, Magnus Egerstedt, Antonio Bicchi |
Controllability decompositions of networked systems through quotient graphs.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Rabah Rabah, Grigory M. Sklyar |
Exact controllability of linear neutral type systems by the moment problem approach.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Bo Liu, Jietao Zou, Jie Zhang, Tianguang Chu, Long Wang |
Controllability of a Leader-Follower Dynamic Network with Interaction Time Delays.  |
FSKD  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Young Chel Kwun, Woe Hyun Kim, Jong Seo Park, Jin Han Park |
Controllability for the Fuzzy Differential Equations in n-Dimension Fuzzy Vector Space.  |
FSKD  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Carlos Renato Vázquez, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva |
On Controllability of Timed Continuous Petri Nets.  |
HSCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Zhijian Ji, Hai Lin 0002, Tong Heng Lee |
Controllability of Multi-agent Systems with Switching Topology.  |
RAM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Niels Lohmann |
Why Does My Service Have No Partners?.  |
WS-FM  |
2008 |
DBLP DOI BibTeX RDF |
partner synthesis, verification, Controllability, diagnosis |
| 2 | Robert M. Hierons, Florentin Ipate |
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine.  |
Formal Asp. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
Testing, Controllability, Non-determinism, Stream X-machine |
| 2 | Danielle Sami Nasrallah, Hannah Michalska, Jorge Angeles |
Controllability and Posture Control of a Wheeled Pendulum Moving on an Inclined Plane.  |
IEEE Transactions on Robotics  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Alessio Salerno, Jorge Angeles |
A New Family of Two-Wheeled Mobile Robots: Modeling and Controllability.  |
IEEE Transactions on Robotics  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Hicham Hihi, A. Rahmani |
A Sufficient and necessary conditions for the controllability of switching linear systems.  |
SMC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiaorui Wang, Yingming Chen, Chenyang Lu, Xenofon D. Koutsoukos |
On Controllability and Feasibility of Utilization Control in Distributed Real-Time Systems.  |
ECRTS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | K. Najeeb, Karthik Gururaj, V. Kamakoti, Vivekananda M. Vedula |
Controllability-driven Power Virus Generation for Digital Circuits.  |
VLSI Design  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Charles H.-P. Wen, Li-C. Wang, Jayanta Bhadra |
An incremental learning framework for estimating signal controllability in unit-level verification.  |
ICCAD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Bart Peintner, Kristen Brent Venable, Neil Yorke-Smith |
Strong Controllability of Disjunctive Temporal Problems with Uncertainty.  |
CP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson |
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.  |
Discrete Event Dynamic Systems  |
2007 |
DBLP DOI BibTeX RDF |
Controllability, Synthesis, Discrete event systems, Supervisory control, Model reduction, Finite state automata, Nonblocking |
| 2 | Benoit Gaudin, Hervé Marchand |
An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.  |
Discrete Event Dynamic Systems  |
2007 |
DBLP DOI BibTeX RDF |
Supervisory control problem, Concurrent finite state machines, Partial controllability, Discrete event systems |
| 2 | Shaoji Feng, Dexing Feng |
Exact internal controllability for shallow shells.  |
Science in China Series F: Information Sciences  |
2006 |
DBLP DOI BibTeX RDF |
shallow shell, exact internal controllability, piecewise multiplier, Riemannian manifold |
| 2 | Hani Jamjoom, Kang G. Shin |
On the role and controllability of persistent clients in traffic aggregates.  |
IEEE/ACM Trans. Netw.  |
2006 |
DBLP DOI BibTeX RDF |
aggregate traffic control, persistent dropping, active queue management, flash crowds |
| 2 | Xiyun Yang, Xiaojuan Han, Yibing Liu, Daping Xu |
Controllability Analysis Based on Bond Graph.  |
ICICIC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Tomas Pecenka, Josef Strnadel, Zdenek Kotásek, Lukás Sekanina |
Testability Estimation Based on Controllability and Observability Parameters.  |
DSD  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Kai Chen 0005, Fan Jiang, Chuan-dong Huang, Zongyao Tang, Yang Qin |
Testing a Distributed System: Generating Test Sequences without Potential Controllability and Observability Problems.  |
ICN/ICONS/MCL  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Jin Han Park, Jong Seo Park, Young Chel Kwun |
Controllability for the Semilinear Fuzzy Integrodifferential Equations with Nonlocal Conditions.  |
FSKD  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Dang Toan Nguyen, D. Georges |
Controllability Gramian for Optimal Placement of Power System Stabilizers in Power Systems.  |
APCCAS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Hoong Chuin Lau, Jia Li, Roland H. C. Yap |
Robust Controllability of Temporal Constraint Networks under Uncertainty.  |
ICTAI  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Riccardo Rosati |
On the decidability and finite controllability of query processing in databases with incomplete information.  |
PODS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | A. Bel Fekih, Abdelhaq El Jai |
Regional Analysis of a Class of Cellular Automata Models.  |
ACRI  |
2006 |
DBLP DOI BibTeX RDF |
Additive real-valued Cellular Automata, Regional controllability, Regional Observability, Sensors, Actuators |
| 2 | Jessica Chen, Hasan Ural |
Detecting Observability Problems in Distributed Testing.  |
TestCom  |
2006 |
DBLP DOI BibTeX RDF |
distributed test architecture, testing, controllability, Finite state machine, observability |
| 2 | Hasan Ural, Craig Williams |
Constructing checking sequences for distributed testing.  |
Formal Asp. Comput.  |
2006 |
DBLP DOI BibTeX RDF |
Distributed test architectures, Controllability and observability problems, Test coordination, Finite state machine-based testing, Distributed testing, Checking sequence |
| 2 | Kai-Sheng Lu, Xiao-Yu Feng, Guo-Zhang Gao |
The separability, reducibility and controllability of RLCM networks over F(z).  |
ISCAS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Guangming Xie, Long Wang |
Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems.  |
HSCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Jessica Chen, Robert M. Hierons, Hasan Ural |
Resolving Observability Problems in Distributed Test Architectures.  |
FORTE  |
2005 |
DBLP DOI BibTeX RDF |
testing, controllability, Finite state machine, observability, test architecture |
| 2 | Shigemasa Takai, Toshimitsu Ushio |
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.  |
Discrete Event Dynamic Systems  |
2005 |
DBLP DOI BibTeX RDF |
Concurrent discrete event system, concurrent well-posedness, controllability, observability, supervisory control |
| 2 | Wolfgang Reisig, Karsten Schmidt 0004, Christian Stahl |
Kommunizierende Workflow-Services modellieren und analysieren.  |
Inform., Forsch. Entwickl.  |
2005 |
DBLP DOI BibTeX RDF |
Open workflow nets, Workflow services, Petri nets, Controllability, BPEL |
| 2 | Guangming Xie, Long Wang |
Controllability and stabilization of discrete-time switched linear systems.  |
SMC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Guangming Xie, Long Wang |
Controllability of periodically switched linear systems with saturating actuators.  |
SMC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Francisco A. Melo, M. Isabel Ribeiro, Pedro U. Lima |
Navigation Controllability of a Mobile Robot Population.  |
RobuCup  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Shingo Shimoda, Andreas Wingert, Kei Takahashi, Takashi Kubota, Ichiro Nakatani |
Hopping Direction Controllability for Small Body Exploration Robot.  |
ICRA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Benjamin W. Wah, Dong Xin |
Optimization of Bounds in Temporal Flexible Planning with Dynamic Controllability.  |
ICTAI  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | M. K. Çamlibel, W. P. M. H. Heemels, J. M. Schumacher |
On the Controllability of Bimodal Piecewise Linear Systems.  |
HSCC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Francesca Rossi, Kristen Brent Venable, Neil Yorke-Smith |
Controllability of Soft Temporal Constraint Problems.  |
CP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Hsu-Chun Yen, Lien-Po Yu |
Dependability Analysis of a Class of Probabilistic Petri Nets.  |
PRDC  |
2004 |
DBLP DOI BibTeX RDF |
probabilistic Petri net, verification, Controllability, self-stabilization, reachability |
| 2 | Chun-Lung Hsu |
Control and Observation Structure for Analog Circuits with Current Test Data.  |
J. Electronic Testing  |
2004 |
DBLP DOI BibTeX RDF |
current store cell (CSC), controllability, observability, analog circuit, current-mode |
| 2 | Anita Goel, S. C. Gupta, Siri Krishan Wasan |
Controllability Mechanism for Object-Oriented Software Testing.  |
APSEC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Yang Xiao |
Stability, controllability and observability of 2-D continuous-discrete systems.  |
ISCAS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Guangming Xie, Long Wang |
Reachability and Controllability of Positive Linear Discrete-time Systems with Time-delays.  |
POSTA  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Kristen Brent Venable |
alpha-Dynamic Controllability of Simple Temporal Problems with Preferences and Uncertainty.  |
CP  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Omar Rafiq, Leo Cacciari |
Coordination Algorithm for Distributed Testing.  |
The Journal of Supercomputing  |
2003 |
DBLP DOI BibTeX RDF |
test coordination procedures, controllability, observability, distributed testing, testing architecture |
| 2 | Samira El Yacoubi, Abdelhaq El Jai, Nezha Ammor |
Regional Controllability with Cellular Automata Models.  |
ACRI  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Anthony Jameson, Eric Schwarzkopf |
Pros and Cons of Controllability: An Empirical Study.  |
AH  |
2002 |
DBLP BibTeX RDF |
|
| 2 | Ahmed Khoumsi |
A Temporal Approach for Testing Distributed Systems.  |
IEEE Trans. Software Eng.  |
2002 |
DBLP DOI BibTeX RDF |
distributed systems, controllability, observability, Conformance testing, waiting time, reaction time |
| 2 | Timothy Wheeler, Paul Graham, Brent E. Nelson, Brad L. Hutchings |
Using Design-Level Scan to Improve FPGA Design Observability and Controllability for Functional Verification.  |
FPL  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Ekaterina S. Lemch, Shankar Sastry, Peter E. Caines |
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings.  |
HSCC  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Martin R. Woodward, Zuhoor A. Al-Khanjari |
Testability, fault size and the domain-to-range ratio: An eternal triangle.  |
ISSTA  |
2000 |
DBLP DOI BibTeX RDF |
domain-to-range ratio, fault size, controllability, observability, testability |
| 2 | Marie-Lise Flottes, Christian Landrault, A. Petitqueux |
Design for sequential testability: an internal state reseeding approach for 100 % fault coverage.  |
Asian Test Symposium  |
2000 |
DBLP DOI BibTeX RDF |
sequential testability, internal state reseeding, observation points, minimum DFT insertion, non-scan approach, fault efficiency, 100 percent, fault diagnosis, logic testing, controllability, controllability, design for testability, logic design, sequential circuits, automatic test pattern generation, ATPG, observability, fault coverage, flip-flops, at-speed testing, benchmark circuits, CPU time, partial reset |
| 2 | Darko Kirovski, Miodrag Potkonjak, Lisa M. Guerra |
Improving the observability and controllability of datapaths foremulation-based debugging.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 925 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|