Mapping statecharts to verilog for hardware/software co-specification

Unfold/fold transformations for automated verification of parameterized concurrent systems

Roychoudhury, A.
Ramakrishnan, C.R.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Subdividing alpha complex

Cheng, H.-L.
Tan, T.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Causal message sequence charts

Gazagnaire, T.
Genes, B.
Hélouët, L.
Thiagarajan, P.S.
Shaofa, Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

State management issues and grid services

Xie, Y.
Teo, Y.-M.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Mapping statecharts to Verilog for hardware/software co-specification.

Qin, S.
Chin, W. N.

September 2003

Hardware-Software co-specification is a critical phase in co-design. Our co-specification process st...

From Statecharts to Verilog: A formal approach to hardware/software co-specification

Qin, Shengchao
Chin, Wei-Ngan
He, Jifeng
Qiu, Zongyan

January 2006

Hardware/software co-specification is a critical phase in co-design. Our co-specification process st...

A model for hardware realization of kernel loops

Liao, J.
Wong, W.-F.
Mitra, T.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Trust Establishment in Large Scale Grid Settings

Zhu, B.
Li, T.
Zhu, H.
Kankanhalli, M.S.
Bao, F.
Deng, R.H.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Co-operative multi-target tracking and classification

Kumar, P.
Ranganath, S.
Sengupta, K.
Weimin, H.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Multimedia analysis and synthesis

Kankanhalli, M.S.

January 2003

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)290341-52LN...

An executable specification language based on message sequence charts

Roychoudhnry, A.
Thiagarajan, P.S.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

On grid programming and MATLABG

Teo, Y.-M.
Chen, Y.
Wang, X.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The XOO7 benchmark

Bressan, S.
Lee, M.L.
Li, Y.G.
Lacroix, Z.
Nambiar, U.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Towards a better understanding of incremental learning

Jain, S.
Lange, S.
Zilles, S.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Targeted data prefetching

Wong, W.-F.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Unfold/fold transformations for automated verification of parameterized concurrent systems

Roychoudhury, A.
Ramakrishnan, C.R.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Subdividing alpha complex

Cheng, H.-L.
Tan, T.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Causal message sequence charts

Gazagnaire, T.
Genes, B.
Hélouët, L.
Thiagarajan, P.S.
Shaofa, Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

State management issues and grid services

Xie, Y.
Teo, Y.-M.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Mapping statecharts to Verilog for hardware/software co-specification.

Qin, S.
Chin, W. N.

September 2003

Hardware-Software co-specification is a critical phase in co-design. Our co-specification process st...

From Statecharts to Verilog: A formal approach to hardware/software co-specification

Qin, Shengchao
Chin, Wei-Ngan
He, Jifeng
Qiu, Zongyan

January 2006

Hardware/software co-specification is a critical phase in co-design. Our co-specification process st...

A model for hardware realization of kernel loops

Liao, J.
Wong, W.-F.
Mitra, T.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Trust Establishment in Large Scale Grid Settings

Zhu, B.
Li, T.
Zhu, H.
Kankanhalli, M.S.
Bao, F.
Deng, R.H.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Co-operative multi-target tracking and classification

Kumar, P.
Ranganath, S.
Sengupta, K.
Weimin, H.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Multimedia analysis and synthesis

Kankanhalli, M.S.

January 2003

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)290341-52LN...

An executable specification language based on message sequence charts

Roychoudhnry, A.
Thiagarajan, P.S.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

On grid programming and MATLABG

Teo, Y.-M.
Chen, Y.
Wang, X.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The XOO7 benchmark

Bressan, S.
Lee, M.L.
Li, Y.G.
Lacroix, Z.
Nambiar, U.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Towards a better understanding of incremental learning

Jain, S.
Lange, S.
Zilles, S.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Targeted data prefetching

Wong, W.-F.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Unfold/fold transformations for automated verification of parameterized concurrent systems

Roychoudhury, A.
Ramakrishnan, C.R.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Subdividing alpha complex

Cheng, H.-L.
Tan, T.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Causal message sequence charts

Gazagnaire, T.
Genes, B.
Hélouët, L.
Thiagarajan, P.S.
Shaofa, Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Mapping statecharts to verilog for hardware/software co-specification

Abstract

Extracted data

Mapping statecharts to verilog for hardware/software co-specification

Abstract

Extracted data

Topics

Related items

Topics

Related items