Sciweavers

3733 search results - page 252 / 747
» Logics of communication and change
Sort
View
CSCLP
2007
Springer
16 years 25 days ago
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
Thom W. Frühwirth
DAC
2006
ACM
16 years 19 days ago
Visibility enhancement for silicon debug
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
Yu-Chin Hsu, Fur-Shing Tsai, Wells Jong, Ying-Tsai...
DATE
2005
IEEE
235views Hardware» more  DATE 2005»
16 years 8 days ago
Challenges in Embedded Memory Design and Test
Both the number of embedded memories, as well as the total embedded memory content in our chips is growing steadily. Time for chip designers, EDA makers, and test engineers to upd...
Erik Jan Marinissen, Betty Prince, Doris Keitel-Sc...
ISMVL
2005
IEEE
108views Hardware» more  ISMVL 2005»
16 years 7 days ago
Approaching the Physical Limits of Computing
As logic device sizes shrink towards the nanometer scale, a number of important physical limits threaten to soon halt further improvements in computer performance per unit cost. H...
Michael P. Frank
SEMWEB
2005
Springer
16 years 4 days ago
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...
Vipul Kashyap, Alfredo Morales, Tonya Hongsermeier...