5550 search results - page 316 / 1110 » Different Approaches to Proof Systems |
166
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
An FPGA-based reconfigurable system may contain boards of FPGAs which are reconfigured for different applications and must work correctly. This paper presents a novel approach for...
186
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
159
click to vote
USENIX
1993
15 years 8 months ago
1993
In this paper we present an architecture and prototype implementation for discovering key network characteristics, such as hosts, gateways, and topology. The Fremont system uses a...
145
click to vote
AMCS
2008
15 years 6 months ago
2008
The objective of the article is to obtain general conditions for several types of controllability at once for an abstract differential equation of arbitrary order, instead of condi...
173
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Manipulation of Male sexual dysfunction (or Impotence) that concerns 10% of the male population requires expertise and great experience. Different diagnostic approaches according t...