7961 search results - page 60 / 1593 » Input-Output Model Programs |
150
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
144
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
143
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
138
click to vote
ASPLOS
2006
ACM
16 years 4 days ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
133
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...