1631 search results - page 237 / 327 » Observing Functional Logic Computations |
ICPADS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents the study and results of running several core multimedia applications on a simultaneous multithreading (SMT) architecture, including some detailed analysis ran...
HUC
1999
Springer
15 years 2 months ago
1999
Springer
Mobile information appliances are increasingly used in numerous different situations and locations, setting new requirements to their interaction methods. When the user's situ...
DAC
1994
ACM
15 years 2 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
FOAL
2007
ACM
15 years 1 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
DAC
2004
ACM
15 years 1 months ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...