1516 search results - page 284 / 304 » Trends in Software Verification |
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
A repository is a shareddatabaseof information aboutengineeredartifacts.Wedefinea repository manager to be a databaseapplication that suPports checkout/checkin, version and config...
FM
2006
Springer
13 years 11 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
ISCAPDCS
2007
13 years 9 months ago
2007
—The tremendous growth in the information culture, efficient digital searches are needed to extract and identify information from huge data. The notion that evolution in silicon ...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
Modern communication technologies are steadily advancing the physical layer (PHY) data rate in wireless LANs, from hundreds of Mbps in current 802.11n to over Gbps in the near fut...
BMCBI
2007
13 years 7 months ago
2007
Background: The ability to visualize genomic features and design experimental assays that can target specific regions of a genome is essential for modern biology. To assist in the...