2624 search results - page 62 / 525 » The 2LIP model and its implementations |
CAV
1997
Springer
14 years 1 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
SCSC
2007
13 years 11 months ago
2007
— The problem of concurrent thermal and vibration loading has not been thoroughly studied even though it is common in electronic packaging applications. Here we attempt to addres...
CGI
2004
IEEE
14 years 1 months ago
2004
IEEE
An Origamic Architecture (OA) is a folded sheet of perforated paper from which a three-dimensional structure "pops up" when it is opened. It is similar to a "pop-up...
DOLAP
2005
ACM
13 years 11 months ago
2005
ACM
Data warehouses and OLAP systems help to interactively analyze huge volume of data. This data, extracted from transactional databases, frequently contains spatial information whic...
IQ
2007
13 years 11 months ago
2007
The measurement of the Data Quality is or should be a critical issue for Web portal users and developers. For the former, the evaluation of data quality is necessary as it ensures ...