14158 search results - page 2409 / 2832 » Generalized switch-setting problems |
208
click to vote
SPIN
2004
Springer
16 years 24 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
221
click to vote
AGILEDC
2003
IEEE
16 years 22 days ago
2003
IEEE
This experience report describes our efforts to introduce agile development techniques incrementally into our customer’s organization in the National Cancer Institute and develo...
187
Voted
ICAIL
2003
ACM
16 years 21 days ago
2003
ACM
The general goal of the paper is to show the normative/deontic nature of conventions. Conventions are traditionally defined as regularity of behavior based on expectations evolved...
188
click to vote
ISPD
2003
ACM
16 years 21 days ago
2003
ACM
In 21st-Century VLSI design, clocking plays crucial roles for both performance and timing convergence. Due to their non-convex nature, optimal minimum-delay/area zero-skew wire-si...
196
click to vote
MIR
2003
ACM
16 years 21 days ago
2003
ACM
In a typical content-based image retrieval (CBIR) system, query results are a set of images sorted by feature similarities with respect to the query. However, images with high fea...