643 search results - page 97 / 129 » Semantic Determinism and Functional Logic Program Properties |
102
click to vote
CAP
2010
14 years 8 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
ACSC
2002
IEEE
15 years 6 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
133
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
119
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
111
click to vote
GLVLSI
2006
IEEE
15 years 8 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...