7404 search results - page 1219 / 1481 » New Tools in Education |
192
click to vote
ASPDAC
2004
ACM
16 years 7 days ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
161
click to vote
IMC
2004
ACM
16 years 6 days ago
2004
ACM
Malicious traffic from self-propagating worms and denialof-service attacks constantly threatens the everyday operation of Internet systems. Defending networks from these threats d...
181
click to vote
IMC
2004
ACM
16 years 6 days ago
2004
ACM
There has been much work on developing techniques for estimating the capacity and the available bandwidth of network paths based on end-point measurements. The focus has primarily...
141
click to vote
ISLPED
2004
ACM
16 years 6 days ago
2004
ACM
Voltage islands enable core-level power optimization for Systemon-Chip (SoC) designs by utilizing a unique supply voltage for each core. Architecting voltage islands involves isla...
168
click to vote
ISLPED
2004
ACM
16 years 6 days ago
2004
ACM
Mobile, battery-powered devices such as personal digital assistants and web-enabled mobile phones have successfully emerged as new access points to the world’s digital infrastru...