3831 search results - page 708 / 767 » Dynamic Context Logic |
114
click to vote
RTCSA
1999
IEEE
15 years 4 months ago
1999
IEEE
While it is widely believed that preemptability is a necessary requirement for developing real-time software, there are additional costs involved with preemptive scheduling, as co...
110
click to vote
DAC
1997
ACM
15 years 4 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
109
Voted
ICDT
2010
ACM
15 years 4 months ago
2010
ACM
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...
108
click to vote
ESWS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
100
Voted
RTA
1995
Springer
15 years 4 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by stra...