Publications

Export 7 results:
Author [ Title(Desc)] Type Year
Filters: Keyword is Specification languages  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Tapus C, Chung I-H, Hollingsworth J.  2002.  Active Harmony: Towards Automated Performance Tuning. Supercomputing, ACM/IEEE 2002 Conference. :44-44.
M
Hollingsworth J, Niam O, Miller BP, Xu Z, Goncalves MJR, Zheng L.  1997.  MDL: a language and compiler for dynamic program instrumentation. , 1997 International Conference on Parallel Architectures and Compilation Techniques., 1997. Proceedings. :201-212.
P
Hsu C-J, Bhattacharyya SS.  2005.  Porting DSP applications across design tools using the dataflow interchange format. Rapid System Prototyping, 2005. (RSP 2005). The 16th IEEE International Workshop on. :40-46.
R
Fredette AN, Cleaveland R.  1993.  RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
S
Sane N, Kee H, Seetharaman G, Bhattacharyya SS.  2010.  Scalable representation of dataflow graph structures using topological patterns. 2010 IEEE Workshop on Signal Processing Systems (SIPS). :13-18.
V
Elseaidy WM, Cleaveland R, Baugh JW.  1994.  Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
W
Gruser J, Raschid L, Vidal ME, Bright L.  1998.  Wrapper generation for Web accessible data sources. 3rd IFCIS International Conference on Cooperative Information Systems, 1998. Proceedings. :14-23.