3994 search results - page 466 / 799 » A Linear Logical Framework |
174
click to vote
PVM
2004
Springer
16 years 24 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
209
Voted
RISE
2004
Springer
16 years 24 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
204
click to vote
ISCAS
2003
IEEE
16 years 22 days ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
189
Voted
AC
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
197
click to vote
CAV
2003
Springer
16 years 21 days ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...