7961 search results - page 1037 / 1593 » Input-Output Model Programs |
188
click to vote
SAT
2004
Springer
16 years 16 days ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
188
click to vote
IPPS
2003
IEEE
16 years 14 days ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
149
click to vote
AOSD
2003
ACM
16 years 14 days ago
2003
ACM
Join point interception (JPI), is considered an important cornerstone of aspect-oriented languages. However, we claim that JPI alone does not suffice for a modular structuring of ...
194
click to vote
COCOON
2003
Springer
16 years 13 days ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
189
click to vote
FCT
2003
Springer
16 years 12 days ago
2003
Springer
: In this paper a comparison is provided between the membrane computing systems and the graphical interfaces of operating systems. A membrane computing system is a computing model ...