1256 search results - page 166 / 252 » Experiences with the DEVStone benchmark |
87
Voted
GLVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
104
Voted
ICAC
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider pervasive computing applications that process and aggregate data-streams emanating from highly distributed data sources to produce a stream of updates that have an imp...
114
Voted
ICDCS
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider distributed applications that continuously stream data across the network, where data needs to be aggregated and processed to produce a 'useful' stream of up...
132
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
This study describes experiments on automatic detection of semantic concepts, which are textual descriptions about the digital video content. The concepts can be further used in c...
120
click to vote
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
The emerging paradigms of service oriented architectures and utility-based computing have the potential to greatly reduce the cost of data management. Data management service prov...