Start Search Over

Active Search Criteria:

Displaying items 71 - 80 of 90
sorted by

71 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

72 SHIM: A Deterministic Model for Heterogeneous Embedded Systems

Author(s):
Edwards, Stephen A.; Tardieu, Olivier
Date:
2005
Subject:
Computer science
Content Type:
Articles
Publisher:
ACM
Permanent URL:
http://hdl.handle.net/10022/AC:P:12775

73 The Challenge of Hardware Synthesis from C-like Languages

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

74 Compiling Esterel into Static Discrete-Event Code

Author(s):
Edwards, Stephen A.; Kapadia, Vimal; Halas, Michael
Date:
2004
Subject:
Computer science
Content Type:
Articles
Permanent URL:
http://hdl.handle.net/10022/AC:P:12791

75 Design and Verification Languages

Author(s):
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:29248

76 Determining Interfaces Using Type Inference

Author(s):
Li, Chun; 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:29254

77 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

78 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

79 NDL: A Domain-Specific Language for Device Drivers

Author(s):
Conway, Christopher L.; Edwards, Stephen A.
Date:
2004
Subject:
Computer science
Content Type:
Articles
Publisher:
ACM
Permanent URL:
http://hdl.handle.net/10022/AC:P:12790

80 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.