2858 search results - page 353 / 572 » Logics with Aggregate Operators |
203
click to vote
BTW
2007
Springer
16 years 21 days ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
170
click to vote
ICLP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
153
click to vote
ICMCS
2006
IEEE
16 years 17 days ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
164
click to vote
FPT
2005
IEEE
16 years 4 days ago
2005
IEEE
A methodology for supporting dynamic voltage scaling (DVS) on commercial FPGAs is described. A logic delay measurement circuit (LDMC) is used to determine the speed of an inverter...
141
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...