10072 search results - page 1841 / 2015 » Composition of Model Programs |
157
click to vote
IWPC
2003
IEEE
15 years 11 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...
170
click to vote
SRDS
2003
IEEE
15 years 11 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...
160
click to vote
WECWIS
2003
IEEE
15 years 11 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...
186
click to vote
AOSD
2003
ACM
15 years 11 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...
183
click to vote
ISPD
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a new timing driven force directed placement algorithm that meets physical net length constraints as well as constraints on specific pin sets. It is the first ...