1418 search results - page 165 / 284 » The Dynamic Complexity of Formal Languages |
247
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
135
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
128
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Robust execution of robotic tasks is a difficult problem. In many situations, these tasks involve complex behaviors combining different functionalities (e.g. perception, localizat...
223
click to vote
SIGSOFT
2011
ACM
14 years 11 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
121
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...