4987 search results - page 230 / 998 » Support Ordered Resolution |
144
click to vote
AAAI
2008
15 years 6 months ago
2008
The search of a precise measure of what hardness of SAT instances means for state-of-the-art solvers is a relevant research question. Among others, the space complexity of treelik...
123
click to vote
FAST
2008
15 years 6 months ago
2008
TierStore is a distributed filesystem that simplifies the development and deployment of applications in challenged network environments, such as those in developing regions. For e...
141
click to vote
WSC
2007
15 years 6 months ago
2007
In this paper we describe a technique for efficient parallelization of digital wave guide network (DWN) models based on an interpretation of the finite difference time domain (F...
132
click to vote
CADE
2005
Springer
15 years 6 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
143
click to vote
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...