Result 1 to 20 of 226 total
Dependence analysis for safe futures. (English)
Sci. Comput. Program. 77, No. 6, 707-726 (2012).
1
Mahalanobis-Taguchi system as a multi-sensor based decision making prognostics tool for centrifugal pump failures (English)
IEEE Transactions on Reliability 60, No. 4, 864-878 (2011).
2
Force estimation and prediction from time-varying density images (English)
IEEE Trans. Pattern Anal. Mach. Intell. 33, No. 6, 1132-1146 (2011).
3
Dynamic channel allocation in wireless networks using adaptive learning automata (English)
IJWIN 18, No. 4, 295-308 (2011).
4
Decentralized optimal control of a class of interconnected nonlinear discrete-time systems by using online Hamilton-Jacobi-bellman formulation (English)
IEEE Transactions on Neural Networks 22, No. 11, 1757-1769 (2011).
5
Decentralized dynamic surface control of large-scale interconnected systems in strict-feedback form using neural networks with asymptotic stabilization (English)
IEEE Transactions on Neural Networks 22, No. 11, 1709-1722 (2011).
6
Discrete-time optimal control of nonholonomic mobile robot formations using linearly parameterized neural networks (English)
I. J. Robotics and Automation 26, No. 1 (2011).
7
Composable asynchronous events (English)
PLDI, 628-639 (2011).
8
Performance, metastability and soft-error robustness tradeoffs for flip-flops in 40nm CMOS (English)
CICC, 1-4 (2011).
9
Localization of objects using stochastic tunneling (English)
WCNC, 587-592 (2011).
10
Relaxed-memory concurrency and verified compilation (English)
POPL, 43-54 (2011).
11
Modular reasoning for deterministic parallelism (English)
POPL, 259-270 (2011).
12
Getting closer to customers: mobility revolution in pharmaceuticals (English)
ICMB, 46-50 (2011).
13
Accentuating the positive: atomicity inference and enforcement using correct executions (English)
OOPSLA, 19-34 (2011).
14
Artificial immune system-based diagnostics and prognostics scheme and its experimental verification (English)
CCA, 958-963 (2011).
15
An online model-based fault diagnosis scheme for HVAC systems (English)
CCA, 70-75 (2011).
16
One stack to run them all. Reducing concurrent analysis to sequential analysis under priority scheduling. (English)
van de Pol, Jaco (ed.) et al., Model checking software. 17th international SPIN workshop, Enschede, The Netherlands, September 27‒29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16163-6/pbk). Lecture Notes in Computer Science 6349, 245-261 (2010).
17
Lightweight checkpointing for concurrent ML. (English)
J. Funct. Program. 20, No. 2, 137-173 (2010).
18
A model-based fault-detection and prediction scheme for nonlinear multivariable discrete-time systems with asymptotic stability guarantees (English)
IEEE Transactions on Neural Networks 21, No. 3, 404-423 (2010).
19
Output feedback control of a quadrotor UAV using neural networks (English)
IEEE Transactions on Neural Networks 21, No. 1, 50-66 (2010).
20
Result 1 to 20 of 226 total
Start
Contact
Print
General Help
