84 search results - page 8 / 17 » Application of design for verification with concurrency cont... |
ASWSD
2004
Springer
14 years 10 days ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
RSP
2006
IEEE
14 years 28 days ago
2006
IEEE
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
IPPS
2010
IEEE
13 years 4 months ago
2010
IEEE
Line-rate data traffic monitoring in high-speed networks is essential for network management. To satisfy the line-rate requirement, one can leverage multi-core architectures to par...
CL
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
UIST
1999
ACM
13 years 11 months ago
1999
ACM
Most current interface designs require that the user focus their attention on them in order to be of value. However, as the price of computation falls, and computational capabilit...