1699 search results - page 231 / 340 » A timed semantics of Orc |
137
click to vote
EMSOFT
2009
Springer
16 years 20 days ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
146
click to vote
OTM
2009
Springer
16 years 19 days ago
2009
Springer
Byzantine Quorum Systems is a replication technique used to ensure availability and consistency of replicates data even in presence of arbitrary faults. This paper presents a Byzan...
162
click to vote
SAT
2009
Springer
16 years 19 days ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
157
click to vote
FOSSACS
2010
Springer
16 years 17 days ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
168
click to vote
ECTEL
2007
Springer
16 years 8 days ago
2007
Springer
Mobile computing technologies and social software have given new challenges to technology-enhanced learning. Simple e-learning system personalization, adaptation and authoring beco...