Start Search Over

Active Search Criteria:

Displaying items 1 - 10 of 14
sorted by

1 Adding a Flow-Oriented Paradigm to Commodity Operating Systems

Author(s):
Soviani, Cristian; Edwards, Stephen A.; Keromytis, Angelos D.
Date:
2005
Subject:
Computer science
Content Type:
Articles
Publisher:
IEEE International Symposium on Workload Characterization
Permanent URL:
http://hdl.handle.net/10022/AC:P:12756

2 Adding a Flow-Oriented Paradigm to Commodity Operating Systems

Author(s):
Soviani, Cristian; Edwards, Stephen A.; Keromytis, Angelos D.
Date:
2005
Subject:
Computer science
Content Type:
Articles
Publisher:
University of Florida
Permanent URL:
http://hdl.handle.net/10022/AC:P:13973

3 Approximate Reachability for Dead Code Elimination in Esterel⋆

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

4 Challenges in Synthesizing Fast Control-Dominated Circuits

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

5 Deterministic Receptive Processes are Kahn Processes

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

6 Experiences Teaching an FPGA-based Embedded Systems Class

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

7 High-Level Optimization by Combining Retiming and Shannon Decomposition

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

8 Incremental Algorithms for Inter-procedural Analysis of Safety Properties

Author(s):
Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A.
Date:
2005
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29170

9 Incremental Algorithms for Inter-procedural Analysis of Safety Properties

Author(s):
Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A.
Date:
2005
Subject:
Computer science
Content Type:
Articles
Publisher:
Springer
Permanent URL:
http://hdl.handle.net/10022/AC:P:12783

10 Pointer Analysis for C Programs Through AST Traversal

Author(s):
Buss, Marcio; Edwards, Stephen A.; Yao, Bin; Waddington, Daniel
Date:
2005
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29390

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