7092 search results - page 588 / 1419 » Parallelizing constraint programs |
131
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
138
click to vote
FDL
2008
IEEE
15 years 11 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
129
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
129
Voted
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we present TOTA (“Tuples On The Air”), a novel middleware to coordinate the movements of a large number of autonomous components (i.e. agents) in a ubiquitous co...
147
click to vote
SEMCO
2007
IEEE
15 years 11 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...