3441 search results - page 314 / 689 » Parallel Logic Programming Systems |
149
click to vote
LCTRTS
2009
Springer
15 years 10 months ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...
143
click to vote
ICS
2010
Tsinghua U.
15 years 6 months ago
2010
Tsinghua U.
As the number of I/O-intensive MPI programs becomes increasingly large, many efforts have been made to improve I/O performance, on both software and architecture sides. On the sof...
130
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
151
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
152
Voted
GPC
2010
Springer
15 years 10 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...