Start Search Over

Active Search Criteria:

Displaying all 7 items
sorted by

1 Static Elaboration of Recursion for Concurrent Software

Author(s):
Edwards, Stephen A.; Zeng, Jia
Date:
2008
Subject:
Computer science
Content Type:
Articles
Publisher:
Association for Computing Machinery
Permanent URL:
http://hdl.handle.net/10022/AC:P:11203

2 Code Generation in the Columbia Esterel Compiler

Author(s):
Edwards, Stephen A.; Zeng, Jia
Date:
2007
Subject:
Computer science
Content Type:
Articles
Permanent URL:
http://hdl.handle.net/10022/AC:P:11212

3 Partial Evaluation for Code Generation from Domain-Specific Languages

Author(s):
Zeng, Jia
Date:
2007
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29553

4 Separate Compilation for Synchronous Modules

Author(s):
Zeng, Jia; Edwards, Stephen A.
Date:
2005
Subject:
Computer science
Content Type:
Articles
Publisher:
Springer
Permanent URL:
http://hdl.handle.net/10022/AC:P:12753

5 Generating Fast Code from Concurrent Program Dependence Graphs

Author(s):
Zeng, Jia; Soviani, Cristian; Edwards, Stephen A.
Date:
2004
Subject:
Computer science
Content Type:
Articles
Publisher:
ACM
Permanent URL:
http://hdl.handle.net/10022/AC:P:12789

6 Improved Controller Synthesis from Esterel

Author(s):
Soviani, Cristian; Zeng, Jia; Edwards, Stephen A.
Date:
2004
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29218

7 Sequential Challenges in Synthesizing Esterel

Author(s):
Soviani, Cristian; Zeng, Jia; Edwards, Stephen A.
Date:
2004
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29253

Powered by the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services.