Sciweavers

2021 search results - page 200 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
FMSD
2002
107views more  FMSD 2002»
15 years 6 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
CORR
2002
Springer
188views Education» more  CORR 2002»
15 years 6 months ago
GridBank: A Grid Accounting Services Architecture (GASA) for Distributed Systems Sharing and Integration
Computational Grids are emerging as a new infrastructure for Internet-based parallel and distributed computing. They enable the sharing, exchange, discovery, and aggregation of re...
Alexander Barmouta, Rajkumar Buyya
TCIAIG
2010
15 years 1 months ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
Arnav Jhala, R. Michael Young
ICIP
2008
IEEE
16 years 8 months ago
Image retrieval and classification using associative reciprocal-image attractors
In this paper, image processing and symbol processing are bridged with a common framework. A new computational architecture allows arbitrary fixed images to be used as attractors ...
Douglas S. Greer, Mihran Tuceryan
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
16 years 1 months ago
DASH: A dynamic 16g hexapedal robot
—DASH is a small, lightweight, power autonomous robot capable of running at speeds up to 15 body lengths per second (see video). Drawing inspiration from biomechanics, DASH has a...
Paul Birkmeyer, Kevin Peterson, Ronald S. Fearing