4516 search results - page 15 / 904 » Automated System Design for Availability |
DAC
2008
ACM
15 years 10 months ago
2008
ACM
MOBICOM
2006
ACM
15 years 3 months ago
2006
ACM
Evaluating available bandwidth estimation methods requires a malleable MAC protocol implementation, precise MAC layer packet timing measurements, and the ability to create control...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
154
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Stream-processing systems are designed to support an emerging class of applications that require sophisticated and timely processing of high-volume data streams, often originating...
78
Voted
FCCM
2008
IEEE
15 years 4 months ago
2008
IEEE
Currently, only Xilinx Field Programmable Gate Arrays (FPGAs) support Dynamic Partial Reconfiguration (DPR). While there is currently some Computer Aided Design (CAD) tool support...