Result 1 to 20 of 25 total
QoS analysis of real-time distributed systems based on hybrid analysis of probabilistic model checking technique and simulation (English)
IEICE Transactions 94-D, No. 5, 958-966 (2011).
1
Achievable sensitivity bounds for MIMO control systems via an information theoretic approach (English)
Systems & Control Letters 60, No. 2, 111-118 (2011).
2
An abstraction refinement technique for timed automata based on counterexample-guided abstraction refinement loop (English)
IEICE Transactions 93-D, No. 5, 994-1005 (2010).
3
Characterization of a complementary sensitivity property in feedback control: an information theoretic approach (English)
Automatica 45, No. 2, 504-509 (2009).
4
Generalized network Voronoi diagrams: Concepts, computational methods, and applications. (English)
Int. J. Geogr. Inf. Syst. 22, No. 9, 965-994 (2008).
5
Sensitivity analysis of networked control systems via an information theoretic approach (English)
CDC, 3360-3365 (2008).
6
Symbolic model checking of extended finite state machines with linear constraints over integer variables. (English)
Syst. Comput. Jpn. 37, No. 6, 64-72 (2006).
7
Testing deadlock-freeness in real-time systems: A formal approach. (English)
Grabowski, Jens (ed.) et al., Formal approaches to software testing. 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25109-X/pbk). Lecture Notes in Computer Science 3395, 95-109 (2005).
8
An evaluation mechanism for QoS management in wireless systems (English)
ICPADS (2), 150-154 (2005).
9
Testing deadlock-freeness in real-time systems: A formal approach (English)
FATES, 95-109 (2004).
10
Verification of timeliness QoS properties in multimedia systems (English)
ICFEM, 523-540 (2003).
11
Stable conformations of 12-crown-O3N and its Li+ complex in aqueous solution. (English)
J. Comput. Chem. 23, No. 13, 1226-1235 (2002).
12
io-port 05328738 Dupa\vc, Jan;
Uematsu, Chihiro;
Shen, Meishan;
Hlavá\vc, Václav;
Kambara, Hideki;
Okano, Kazunori;
Dunker, A.K.;
Konagaya, A.;
Miyano, S.;
Takagi, T.
Precise gene expression measurement with outlier detection. (English)
Genome Inform. Online 12, 268-269 (2002).
13
Formal verification of CPU in laboratory work (English)
MSE, 32-34 (2001).
14
A decision algorithm for prenex normal form rational Presburger sentences based on combinatorial geometry. (English)
Calude, C. S. (ed.) et al., Combinatorics, computation \& logic. Proceedings of DMTCS ’99 and CATS ’99. Auckland, New Zealand, January 18-21, 1999. Singapore: Springer. Aust. Comput. Sci. Commun. 21, 3, 344-359 (1999).
15
Specification of real-time systems using a timed automata model with shared variables and verification of partial-deadlock freeness (English)
ICPP Workshops, 576-581 (1999).
16
"Programmic filters": A framework for the design of high-performance nonlinearfilters for low-level picture processing. (English)
Syst. Comput. Jpn. 28, No. 3, 71-81 (1997).
17
Protocol synthesis from time Petri net based service specification (English)
ICPADS, 236-243 (1997).
18
Modular confluence of conditional term rewriting systems with extra variables in right-hand sides. (English)
RIMS Kokyuroku 950, 160-166 (1996).
19
Hierarchical design of stock management program using relational algebra and its correctness proof. (English)
Trans. Inf. Process. Soc. Japan 36, No. 5, 1091-1103 (1995).
20
Result 1 to 20 of 25 total
Start
Contact
Print
General Help
