Sciweavers

3522 search results - page 58 / 705
» Incremental physical design
Sort
View
ICMCS
2006
IEEE
140views Multimedia» more  ICMCS 2006»
15 years 6 months ago
Webdove: a Web-Based Collaboration System for Physical Tasks
While many systems are available for audio-visual people collaboration and data collaboration, systems for collaboration on physical objects are few. In this paper, we present Web...
Weiyi Yang, Jiazhi Ou, Yong Rut, Jie Yang
DAC
2008
ACM
16 years 27 days ago
Bi-decomposing large Boolean functions via interpolation and satisfiability solving
Boolean function bi-decomposition is a fundamental operation in logic synthesis. A function f(X) is bi-decomposable under a variable partition XA, XB, XC on X if it can be written...
Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung
SIGCSE
2006
ACM
362views Education» more  SIGCSE 2006»
15 years 5 months ago
Chirp on crickets: teaching compilers using an embedded robot controller
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
Li Xu, Fred G. Martin
MOBISYS
2006
ACM
15 years 11 months ago
MOJO: a distributed physical layer anomaly detection system for 802.11 WLANs
Deployments of wireless LANs consisting of hundreds of 802.11 access points with a large number of users have been reported in enterprises as well as college campuses. However, du...
Anmol Sheth, Christian Doerr, Dirk Grunwald, Richa...
CCS
2009
ACM
15 years 6 months ago
Physically restricted authentication with trusted hardware
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
Michael S. Kirkpatrick, Elisa Bertino