1557 search results - page 277 / 312 » Programming up to Congruence |
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
This paper is intended to sum up the results of the Second International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'03) held in Portland, Or...
107
click to vote
MOBIHOC
2008
ACM
15 years 10 months ago
2008
ACM
Sensor networks are expected to evolve into long-lived, autonomous networked systems whose main mission is to provide in-situ users ? called actors ? with real-time information in...
102
click to vote
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
111
click to vote
ICCD
2008
IEEE
15 years 8 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...
ICCD
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we propose a novel on-chip voltage drop reduction technique for on-chip power delivery networks of VLSI systems in the presence of variational leakage current sourc...