494 search results - page 64 / 99 » A Framework for Synchronous Tele-Cooperation |
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Multiple clock cycles are needed to cross the global interconnects for multi-gigahertz designs in nanometer technologies. For synchronous designs, this requires retiming and pipel...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
CHI
2009
ACM
2009
ACM
Measuring the impact of third place attachment on the adoption of a place-based community technology
15 years 10 months ago
CoCollage is a placed-based community technology that leverages the power of online social networking to facilitate awareness and face-to-face interactions in a third place. We ad...
MOBISYS
2009
ACM
15 years 10 months ago
2009
ACM
Mobile devices often store data in reduced resolutions or custom formats in order to accommodate resource constraints and tailormade software. The Polyjuz framework enables sharin...
ICCAD
2008
IEEE
15 years 6 months ago
2008
IEEE
— The emergence of multi-core and many-core processors has introduced new opportunities and challenges to EDA research and development. While the availability of increasing paral...