3713 search results - page 221 / 743 » Constructing a Calculus of Programs |
169
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—The project-based teaching mode is a method based on the educational theory of constructivism. Based on this mode, the paper discussed a new teaching practice, covering differen...
158
click to vote
APPROX
2009
Springer
16 years 1 months ago
2009
Springer
Small-bias, or -biased, spaces have found many applications in complexity theory, coding theory, and derandomization. We generalize the notion of small-bias spaces to the setting ...
167
click to vote
PPOPP
2005
ACM
16 years 3 days ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
182
click to vote
GPCE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
159
click to vote
ASPLOS
2004
ACM
15 years 12 months ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...