2518 search results - page 96 / 504 » Using Communication Objects During Requirements Analysis |
163
click to vote
FMICS
2007
Springer
16 years 8 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
181
click to vote
CHARME
1995
Springer
15 years 9 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
188
click to vote
ICPP
1998
IEEE
15 years 10 months ago
1998
IEEE
MPEG-4 which is currently being developed by MPEG (Moving Pictures Experts Group), is poised to become a standard for supporting current and emerging interactive multimedia applic...
167
Voted
BIBM
2008
IEEE
16 years 18 days ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a ...
161
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...