9124 search results - page 1580 / 1825 » Requirements-Based Design Evaluation |
310
click to vote
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
Abstract-- Large flash disks have become an attractive alternative to magnetic hard disks, due to their high random read performance, low energy consumption and other features. How...
316
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
With the advent of XML as the de facto language for data publishing and exchange, scalable distribution of XML data to large, dynamic populations of consumers remains an important...
321
click to vote
GIS
2004
ACM
16 years 8 months ago
2004
ACM
Modern database applications including computer-aided design, multimedia information systems, medical imaging, molecular biology, or geographical information systems impose new re...
220
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...
212
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...