2703 search results - page 141 / 541 » Working Class Hero |
ISORC
2008
IEEE
14 years 4 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
TOOLS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract. Design patterns provide solutions to recurring design problems in object-oriented programming. Design patterns typically crosscut class boundaries so previous work aimed ...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
CSEE
2007
Springer
14 years 4 months ago
2007
Springer
Despite many professed benefits of collaboration, some computer science educators feel students need to master work individually, particularly in the courses early in the curricul...
FSTTCS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...