647 search results - page 64 / 130 » Generic Trace Logics |
220
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
149
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
140
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
119
click to vote
HYBRID
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
116
click to vote
DKE
2002
15 years 4 months ago
2002
This paper briefly traces the evolution of information system architectures from mainframe-connected terminals to distributed multi-tier architectures. It presents the challenges ...