1059 search results - page 74 / 212 » Standard Logics Are Valuation-Nonmonotonic |
158
click to vote
ASAP
2005
IEEE
15 years 11 months ago
2005
IEEE
With continued reductions in feature size, additional functionality may be added to future microprocessors to boost the performance of important application domains. Due to growth...
159
click to vote
PODS
2007
ACM
16 years 6 months ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...
186
click to vote
FCCM
2005
IEEE
15 years 11 months ago
2005
IEEE
Just-in-time (JIT) compilation has been used in many applications to enable standard software binaries to execute on different underlying processor architectures. We previously in...
186
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
166
click to vote
ICLP
1998
Springer
15 years 10 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...