J. Srinivasan

Learn More
OdeView is the graphical front end for Ode, an object-oriented database system and environment. Ode's data model supports data encapsulation, type inheritance, and complex objects. OdeView provides facilities for examining the database schema (i.e., the object type or class hierarchy), examining class definitions, browsing objects, following chains of(More)
A formation-flying sensor that can determine spacecraft separation with a maximum uncertainty of 2 cm, measure the bearing angles of the remote spacecraft with a maximum uncertainty of a minute of arc, and operate with a wide field of view autonomously in deep space has been designed and prototyped. It is the autonomous formation-flying (AFF) sensor that(More)
This paper presents a low complexity hardware design for computing Singular Value Decomposition (SVD) of the radio communication channel characteristic matrix. The hardware developed is suitable for computing the SVD of a sequence of 3 ×3 complex-value matrices used in MIMO-OFDM standards, such as the IEEE 802.11n. The information of the right(More)
DEX is a high level tool designed to aid distributed system experimentation. It supports a very general model of distributed system and provides features to simulate different communication networks, work loads, failure patterns, and communication delays. It uses UNIX processes and communication mechanisms for implementing a distributed system testbed. The(More)
For modern biology, precise genome annotations are of prime importance as they allow the accurate definition of genic regions. However, accurate ab initio gene finding is still a major challenge in computational biology. We employed state-of-the-art machine learning methods to assess and improve the accuracy of genome annotations. Our system is trained to(More)
  • O Ijtw, T Ibarra, +12 authors Quantitative Temporal Rea
  • 1993
New decidability results concerning two-way counter machines and applications. 15 machine instruction that adds (or subtracts) the input variable a to the register corresponds, then, to a transition labeled with (y = a; y := 0) (or (x = a; x := 0), respectively). Transition labels of the form (x y), for 2 f=; <; >g, which correspond to test instructions,(More)