7961 search results - page 1415 / 1593 » Input-Output Model Programs |
121
click to vote
ISQED
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
131
Voted
IWPC
2003
IEEE
15 years 8 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
131
click to vote
SRDS
2003
IEEE
15 years 8 months ago
2003
IEEE
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
126
click to vote
WECWIS
2003
IEEE
15 years 8 months ago
2003
IEEE
Electronic exchanges are double-sided marketplaces that allow multiple buyers to trade with multiple sellers, with aggregation of demand and supply across the bids to maximize the...
142
click to vote
AOSD
2003
ACM
15 years 8 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...