8780 search results - page 1675 / 1756 » On the Feasibility of Consistent Computations |
IEEEPACT
2009
IEEE
15 years 4 months ago
2009
IEEE
—Software testing is hard. The emergence of multicore architectures and the proliferation of bugprone multithreaded software makes testing even harder. To this end, researchers h...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—The Internet has become a cost-effective vehicle for software development and release, particular in the free software community. Given the free nature of this software, there a...
ISCA
2009
IEEE
15 years 4 months ago
2009
IEEE
The memory subsystem accounts for a significant cost and power budget of a computer system. Current DRAM-based main memory systems are starting to hit the power and cost limit. A...
100
click to vote
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
RDF is a data model for representing labeled directed graphs, and it is used as an important building block of semantic web. Due to its flexibility and applicability, RDF has bee...
115
click to vote
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...