551 search results - page 46 / 111 » Realizability of Real-Time Logics |
177
Voted
DEON
2010
Springer
15 years 10 months ago
2010
Springer
In 1926, Mally proposed the first formal deontic system. As Mally and others soon realized, this system had some rather strange consequences. We show that the strangeness of Mally...
141
click to vote
ENTCS
2006
15 years 5 months ago
2006
Back-pressure is a logical mechanism to control the flow of information on a communication channel of a latency-insensitive system (LIS) while guaranteeing that no packet is lost....
171
click to vote
ISMVL
2008
IEEE
16 years 7 days ago
2008
IEEE
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
162
click to vote
ASPDAC
2008
ACM
15 years 7 months ago
2008
ACM
Abstract--Resonant tunneling diodes (RTDs) have demonstrated promising circuit characteristics of high speed switching property and versatile functionality with negative differenti...
155
click to vote
IPPS
2006
IEEE
15 years 12 months ago
2006
IEEE
In this paper, we present performance results from mapping five real-world DSP applications on an embedded system-on-chip that incorporates coarse-grain reconfigurable logic with ...