192 search results - page 1 / 39 » Design and design automation of rectification logic for engi... |
ASPDAC
2005
ACM
13 years 7 months ago
2005
ACM
In a later stage of a VLSI design, it is quite often to modify a design implementation to accommodate the new specification, design errors, or to meet design constraints. In addit...
DAC
2002
ACM
14 years 5 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
ICWE
2009
Springer
13 years 11 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...
OWLED
2008
13 years 6 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...