4604 search results - page 329 / 921 » Analysis of Negotiation Dynamics |
190
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes a criterion for qualitative analysis of open Chemical Reaction Networks endowed with mass-action kinetics. The method can be applied to an extremely broad clas...
156
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The Boolean satisfiability problem (SAT) can be solved efficiently with variants of the DPLL algorithm. For industrial SAT problems, DPLL with conflict analysis depend...
141
Voted
IPL
2007
15 years 6 months ago
2007
The MIN algorithm is an offline strategy for deciding which item to replace when writing a new item to a cache. Its optimality was first established by Mattson, Gecsei, Slutz, a...
161
click to vote
SAS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
189
click to vote
ECRTS
2006
IEEE
16 years 25 days ago
2006
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...