2488 search results - page 399 / 498 » An improvement in formal verification |
198
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
128
Voted
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...
119
click to vote
ICCD
2003
IEEE
15 years 10 months ago
2003
IEEE
With the circuit density available in today’s ASIC design systems, increased integration is possible creating more complexity in the design of a System on a Chip (SoC). IBM’s ...
118
click to vote
VLSID
2008
IEEE
15 years 7 months ago
2008
IEEE
It is well-known that varying architectural, technological and implementation aspects of embedded microprocessors, such as ARM, can produce widely differing performance and power ...
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
It has been shown that using phrases properly in the document retrieval leads to higher retrieval effectiveness. In this paper, we define four types of noun phrases and present an...