Sciweavers

3733 search results - page 133 / 747
» Logics of communication and change
Sort
View
ENTCS
2006
113views more  ENTCS 2006»
15 years 1 months ago
The Role of Back-Pressure in Implementing Latency-Insensitive Systems
Back-pressure is a logical mechanism to control the flow of information on a communication channel of a latency-insensitive system (LIS) while guaranteeing that no packet is lost....
Luca P. Carloni
ISPDC
2005
IEEE
15 years 6 months ago
Active Zero-copy: A performance study of non-deterministic messaging
Zero-copy communication exchanges the messages among the buffers that are allocated and locked before the communication itself. This communication style fits into applications th...
Shinichi Yamagiwa, Keiichi Aoki, Koichi Wada
CODES
2003
IEEE
15 years 6 months ago
A codesigned on-chip logic minimizer
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
Roman L. Lysecky, Frank Vahid
TVLSI
2002
130views more  TVLSI 2002»
15 years 27 days ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
CLEIEJ
2010
14 years 10 months ago
Logic Programming: Can the learning and teaching process be improved apart from standards adopted by most professors and establi
Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching ...
Ricardo Luiz B. L. Campos