3028 search results - page 318 / 606 » Integrating Temporal Logics |
163
click to vote
IEAAIE
2003
Springer
15 years 12 months ago
2003
Springer
- This paper presents an intelligent User Manager Agent System (UMAS) in which it has a capability of making a management decision for balancing the network load with the users’ ...
160
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
— The paper introduces novel field programmable gate array (FPGA) circuits based on hybrid CMOS/resistive switching device (memristor) technology and explores several logic archi...
173
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...
180
click to vote
FCCM
1997
IEEE
15 years 11 months ago
1997
IEEE
By strictly separating reconfigurable logic from their host processor, current custom computing systems suffer from a significant communication bottleneck. In this paper we descri...
156
click to vote
NGITS
1997
Springer
15 years 11 months ago
1997
Springer
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...