156 search results - page 2 / 32 » Logic for Computational Effects: Work in Progress |
IWFM
2003
13 years 7 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
DAC
2007
ACM
14 years 7 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
GROUP
2003
ACM
13 years 11 months ago
2003
ACM
Data are a fundamental component of science and engineering work, and the ability to share data is critical to the validation and progress of science. Data sharing and reuse in so...
ISCAS
2005
IEEE
13 years 11 months ago
2005
IEEE
– Audio scrambling can be employed in audio distribution for the purpose of guaranteeing the confidentiality. Electronic commerce in audio products would be facilitated by the de...
GROUP
1993
ACM
13 years 10 months ago
1993
ACM
The Assistant for Cooperative Work (ASCW) is a powerful system for the management of distributed work. It consists of the Task Manager, the organizational information system TOSCA...