308 search results - page 52 / 62 » Efficient Software Model Checking of Data Structure Properti... |
DASFAA
2009
IEEE
15 years 4 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
CGF
2002
14 years 9 months ago
2002
Three-dimensional (3D) image acquisition systems are rapidly becoming more affordable, especially systems based on commodity electronic cameras. At the same time, personal compute...
GRAPHITE
2004
ACM
15 years 3 months ago
2004
ACM
Several factors currently limit the size of Virtual Reality Modeling Language (VRML) models that can be effectively visualized over the Web. Main factors include network bandwidth...
137
click to vote
MICRO
2006
IEEE
14 years 9 months ago
2006
IEEE
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...
ESEC
1999
Springer
15 years 1 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...