2012 search results - page 275 / 403 » CORAL - Control, Relations and Logic |
159
click to vote
DATE
2005
IEEE
16 years 17 days ago
2005
IEEE
Both the number of embedded memories, as well as the total embedded memory content in our chips is growing steadily. Time for chip designers, EDA makers, and test engineers to upd...
205
click to vote
TIME
2005
IEEE
16 years 15 days ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
193
click to vote
CSL
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
165
click to vote
LPNMR
2005
Springer
16 years 13 days ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
178
click to vote
TLCA
2005
Springer
16 years 12 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...