1922 search results - page 86 / 385 » Systems biology, models, and concurrency |
139
click to vote
IJCAI
2001
15 years 3 months ago
2001
Recently tremendous advances have been made in the performance of AI planning systems. However increased performance is only one of the prerequisites for bringing planning into th...
110
click to vote
OOPSLA
2010
Springer
15 years 4 days ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
113
click to vote
SEFM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
119
click to vote
ENTCS
2007
15 years 1 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
138
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...