4350 search results - page 55 / 870 » Case studies for contract-based systems |
IJCAI
2001
13 years 11 months ago
2001
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with ve...
FGCS
2008
13 years 10 months ago
2008
This paper presents a grid-enabled system for solving large-scale mixed integer programming (MIP) problems. The system has been developed using Globus and MPICH-G2, and consists o...
ICAS
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Traditionally, performance has been the most important metrics when evaluating a system. However, in the last decades industry and academia have been paying increasing a...
ICCD
2002
IEEE
14 years 6 months ago
2002
IEEE
— As the cost of embedded sensors and actuators drops, new applications will arise that exploit high density networks of small devices capable of a variety of sensing tasks. Alth...
CODES
2006
IEEE
14 years 4 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...