4604 search results - page 252 / 921 » Concurrency in Synchronous Systems |
302
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
194
click to vote
ICDE
2006
IEEE
16 years 22 days ago
2006
IEEE
Currently, only few XML data management systems support concurrent access to an XML document, and if they do, they typically apply variations of hierarchical locking to handle XML...
144
click to vote
IWMM
2004
Springer
16 years 1 days ago
2004
Springer
Concurrent garbage collectors require write barriers to preserve consistency, but these barriers impose significant direct and indirect costs. While there has been a lot of work ...
167
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Concurrent multithreaded architectures exploit both instruction-level and thread-level parallelism through a combination of branch prediction and thread-level control speculation. ...
171
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...