4491 search results - page 617 / 899 » Algorithm Engineering |
162
click to vote
FSTTCS
2005
Springer
16 years 5 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
147
click to vote
SCOPES
2005
Springer
16 years 3 days ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
187
click to vote
TACAS
2005
Springer
16 years 3 days ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
157
click to vote
WAIM
2005
Springer
16 years 3 days ago
2005
Springer
Researchers from the same lab often spend a considerable amount of time searching for published articles relevant to their current project. Despite having similar interests, they c...
168
click to vote
ACMACE
2004
ACM
16 years 2 days ago
2004
ACM
The Intelligent Street is a music installation that is able to respond intelligently to the collective requests of users interacting together. The performance it creates is largel...