12981 search results - page 119 / 2597 » Model Checking and Abstraction |
174
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
138
click to vote
TAMC
2009
Springer
15 years 10 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
136
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
148
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...
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
