22128 search results - page 4192 / 4426 » Research in Structural Computing |
172
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
The dominance of digital objects in today's information landscape has changed the way humankind creates and exchanges information. However, it has also brought an entirely ne...
197
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
239
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed testing of high-speed embedded processors testing in an SoC system. For SBST, test rout...
138
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Network Tomography (or network monitoring) uses end-to-end path-level measurements to characterize the network, such as topology estimation and failure detection. This work prov...
123
click to vote
INFORMS
2010
15 years 2 months ago
2010
The concept of dominance among nodes of a branch-decision tree, although known since a long time, is not exploited by general-purpose Mixed-Integer Linear Programming (MILP) enume...