Technical Reports
Embedded Systems Research
|
Sharma,
Hrishikesh. Elements of system design: classification and
organization. A monologue, which also proposes a new semantic
framework for heterogeneous system design. |
|
Sharma,
Hrishikesh. Meeting time-to-market challenges in large-scale VLSI
design projects. |
|
Sharma,
Hrishikesh. Trends in architecture design methods for LDPC
code-based systems. |
|
Sujatha,
S. and Prakasha,T.S. Overview of Query by Humming systems. |
2003
|
Bhaduri (P) and Ramesh (S). A roadmap for verification of statechart models — a survey and research directions. TRDDC Internal Report. February 2003 |
|
Shrotri (U) Bhaduri (P) and Venkatesh (R). Visual specification of constraints in UML and their formal verification. TRDDC Technical Report. February 2003 |
|
Bhaduri (P), Venkatesh (R) and Sampath (P). Specification and verification of object models with TLA and TLC. TRDDC Technical Report. March 2003 |
|
Palshikar (G K). Analysis and validation of use case models. TRDDC Technical Report. April 2003 |
|
Palshikar (G K). Know thy neighbours: Finding k-Nearest neighbours using proximity graph. TRDDC Technical Report. August 2003 |
|
Palshikar (G K). Temporal pattern detection as temporal constraint satisfaction. TRDDC Technical Report. September 2003 |
|
Palshikar (G K). Definite clause graph grammar. TRDDC Technical Report. October 2003 |