4192 search results - page 733 / 839 » Probabilistic Logic Programming |
132
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
143
click to vote
MTV
2006
IEEE
15 years 8 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
115
click to vote
DOCENG
2006
ACM
15 years 8 months ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
140
click to vote
PADS
2006
ACM
15 years 8 months ago
2006
ACM
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...
134
click to vote
IEEEPACT
2005
IEEE
15 years 8 months ago
2005
IEEE
Helper threading is a technique that utilizes a second core or logical processor in a multi-threaded system to improve the performance of the main thread. A helper thread executes...