1113 search results - page 149 / 223 » Counter Systems for Data Logics |
218
click to vote
SAS
1992
Springer
15 years 10 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
152
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoid...
172
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
161
click to vote
CCGRID
2006
IEEE
16 years 12 days ago
2006
IEEE
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...
124
click to vote
FSKD
2005
Springer
15 years 12 months ago
2005
Springer
The development of CAM system for design and manufacturing of end mills becomes a key approach to save the time and reduce cost for end mills manufacturing. This paper presents the...