5378 search results - page 752 / 1076 » Base Logics in Argumentation |
173
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we examine the implications of building a single logical link out of multiple physical links. We use MultiEdge [12] to examine the throughput-CPU utilization tradeoff...
174
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
185
click to vote
DDECS
2007
IEEE
16 years 1 months ago
2007
IEEE
— To increase the amount of logic available in SRAM-based FPGAs manufacturers are using nanometric technologies to boost logic density and reduce prices. However, nanometric scal...
171
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
179
click to vote
PEPM
2007
ACM
16 years 28 days ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...