1585 search results - page 201 / 317 » A framework for computer-aided validation |
134
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
150
click to vote
ESORICS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Online advertising has been suffering serious click fraud problem. Fraudulent publishers can generate false clicks using malicious scripts embedded in their web pages. Ev...
134
click to vote
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
Many aspect-oriented middleware platforms support run-time aspect weaving, but do not support coordinating distributed changes to a set of aspects at run-time. A distributed chang...
116
Voted
ECCV
2008
Springer
15 years 5 months ago
2008
Springer
For many tasks in computer vision, it is very important to produce the groundtruth data. At present, this is mostly done manually. Manual data labeling is labor-intensive and prone...
149
click to vote
EDCC
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents the design and implementation of the Distributed Autonomous Replication Management (DARM) framework built on top of the Spread group communication system. The ...