7167 search results - page 1232 / 1434 » A Technique for Invariant Generation |
254
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
181
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...
199
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
We consider data dissemination in a peer-to-peer network, where each user wishes to obtain some subset of the available information objects. In most of the modern algorithms for su...
170
click to vote
HPDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Trace-driven simulation is an important technique used in the evaluation of computer architecture innovations. However using it for studying parallel computers and applications is...
253
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
The incorporation of last-generation sensors to airborne and satellite platforms is currently producing a nearly continual stream of high-dimensional data, and this explosion in t...