3733 search results - page 379 / 747 » Logics of communication and change |
255
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
185
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
183
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
In a synchronous finite state machine (FSM), huge current peaks are often observed at the moment of state transition. Previous low power state encoding algorithms focus on the red...
165
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...
202
click to vote
3DIC
2009
IEEE
16 years 1 months ago
2009
IEEE
The first memristor, originally theorized by Dr. Leon Chua in 1971, was identified by a team at HP Labs in 2008. This new fundamental circuit element is unique in that its resis...