1586 search results - page 275 / 318 » Integrated Network Experimentation using Simulation and Emul... |
FORMATS
2006
Springer
14 years 22 days ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
Personalization is a powerful mechanism that helps users to cope with the abundance of information on the Web. Database query personalization achieves this by dynamically construc...
ICCAD
2005
IEEE
14 years 6 months ago
2005
IEEE
— The flip-chip package gives the highest chip density of any packaging method to support the pad-limited Application-Specific Integrated Circuit (ASIC) designs. In this paper,...
SIAMSC
2008
13 years 9 months ago
2008
Abstract. Most technologically useful materials possess polycrystalline microstructures composed of a large number of small monocrystalline grains separated by grain boundaries. Th...
COOPIS
2004
IEEE
14 years 24 days ago
2004
IEEE
Large scale distributed real time and embedded (DRE) applications are complex entities that are often composed of different subsystems and have stringent Quality of Service (QoS) r...