746 search results - page 103 / 150 » Formal Analysis of UML-Based Designs |
110
click to vote
HYBRID
2005
Springer
15 years 7 months ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
120
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
104
Voted
CIKM
2004
Springer
15 years 7 months ago
2004
Springer
An important class of queries is the LIKE predicate in SQL. In the absence of an index, LIKE queries are subject to performance degradation. The notion of indexing on substrings (...
111
Voted
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
93
Voted
WSC
2008
15 years 4 months ago
2008
This paper presents a new extension of the DEVS formalism that allows multiple occurrences of a given instance of a DEVS component. This paper is a follow-up to a previous short p...