7961 search results - page 1013 / 1593 » Input-Output Model Programs |
213
Voted
CODES
2009
IEEE
16 years 2 months ago
2009
IEEE
Kahn Process Networks is an appealing model of computation for programming and mapping applications onto multi-processor platforms. Autonomous processes communicate through unboun...
220
click to vote
EDOC
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
211
click to vote
ICST
2009
IEEE
16 years 2 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
192
click to vote
APPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. With more cores integrated into one single chip, the overall power consumption from the multiple concurrent running programs increases dramatically in a CMP processor whi...
194
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...