17054 search results - page 162 / 3411 » Logics of Dynamical Systems |
196
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
186
Voted
DAC
2005
ACM
15 years 9 months ago
2005
ACM
This paper proposes a low power technique, called SBR (Sign Bit Reduction) which may reduce the switching activity in multipliers as well as data buses. Utilizing the multipliers ...
195
Voted
MKWI
2008
15 years 8 months ago
2008
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
185
click to vote
ENTCS
2006
15 years 7 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
190
click to vote
POPL
2011
ACM
14 years 10 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...