477 search results - page 78 / 96 » Design patterns in separation logic |
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
Many kinds of real-life data exhibit logical ordering among their data items and are thus sequential in nature. However, traditional online analytical processing (OLAP) systems an...
IJCNN
2008
IEEE
14 years 4 months ago
2008
IEEE
—The system architecture presented in this paper is designed for helping an aged person to live longer independently in their own home by detecting unusual and potentially hazard...
GLVLSI
1998
IEEE
14 years 2 months ago
1998
IEEE
With the increased clock frequency of modern, high-performance processors over 500 MHz, in some cases, limiting the power dissipation has become the most stringent design target. ...
DAC
2010
ACM
14 years 1 months ago
2010
ACM
Fault simulation is essential in test generation, design for test and reliability assessment of integrated circuits. Reliability analysis and the simulation of self-test structure...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
RFID technology is gaining adoption on an increasing scale for tracking and monitoring purposes. Wide deployments of RFID devices will soon generate an unprecedented volume of dat...