6149 search results - page 1167 / 1230 » Revealing the programming process |
109
click to vote
EDBT
2008
ACM
16 years 22 days ago
2008
ACM
Modern enterprise data warehouses have complex workloads that are notoriously difficult to manage. An important problem in workload management is to run these complex workloads `o...
MOBIHOC
2005
ACM
16 years 6 days ago
2005
ACM
Wireless Sensor and Actor Networks (WSANs) are composed of a large number of heterogeneous nodes called sensors and actors. The collaborative operation of sensors enables the dist...
113
click to vote
MOBIHOC
2002
ACM
16 years 6 days ago
2002
ACM
This paper investigates two fundamental characteristics of a wireless multihop network: its minimum node degree and its k?connectivity. Both topology attributes depend on the spat...
126
Voted
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
129
Voted
ICCD
2008
IEEE
15 years 9 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...