4421 search results - page 371 / 885 » Libraries |
123
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
121
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— In this paper, we propose a novel common subexpresson elimination (CSE) method to be used for VLSI design of multiplierless finite impulse response (FIR) filter with ...
135
click to vote
VISSOFT
2005
IEEE
15 years 10 months ago
2005
IEEE
SAB is a tool for automatic generation of class diagrams from Java code. In addition to hierarchical layout, it features a wealth of user interaction facilities for dealing with c...
128
click to vote
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
- This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that ...
111
click to vote
IHM
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes a library of Dialogical Widget for a mediator architecture. It provides a development framework for software designers willing to include a conversational ass...