7580 search results - page 1003 / 1516 » Prometheus design tool |
169
click to vote
SPIN
2005
Springer
16 years 11 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
171
click to vote
VISUAL
2005
Springer
16 years 11 days ago
2005
Springer
The paper describes an innovative image annotation tool, based on a multi-class Support Vector Machine, for classifying image pixels in one of seven classes - sky, skin, vegetation...
162
click to vote
AOSD
2004
ACM
16 years 10 days ago
2004
ACM
AspectWerkz is a framework targeted towards dynamic aspectoriented programming (AOP) in commercial applications. Based on our experience designing and supporting AspectWerkz, we h...
170
click to vote
ASPDAC
2004
ACM
16 years 10 days ago
2004
ACM
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
165
click to vote
DMSN
2004
ACM
16 years 10 days ago
2004
ACM
In this position paper, we present MEADOWS, a software framework that we are building at HKUST (The Hong Kong University of Science and Technology) for modeling, emulation, and an...