326 search results - page 56 / 66 » Interprocedural Control Flow Analysis |
ERCIMDL
1998
Springer
15 years 1 months ago
1998
Springer
This paper describes novel market-based technologies for systematic, quantifiable and predictable protection of information systems against attacks. These technologies, incorporate...
81
Voted
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
TON
2002
14 years 9 months ago
2002
In multi-hop networks, packet schedulers at downstream nodes have an opportunity to make up for excessive latencies due to congestion at upstream nodes. Similarly, when packets inc...
3DIC
2009
IEEE
15 years 2 months ago
2009
IEEE
- In this paper, an electrical-thermal co-analysis method for power delivery networks in 3D system integration is proposed. For electrical analysis, temperature-dependent electrica...
ISPAN
2000
IEEE
15 years 2 months ago
2000
IEEE
We present new architectural concepts for uniprocessor designs that conform to the data-driven computation paradigm. Usage of our D2 -CPU (Data-Driven processor) follows the natura...