Sciweavers

395 search results - page 79 / 79
» Transforming a Discourse Model to an Abstract User Interface...
Sort
View
HYBRID
2010
Springer
13 years 10 months ago
Safe compositional network sketches: formal framework
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Mi...
ECBS
1996
IEEE
127views Hardware» more  ECBS 1996»
13 years 9 months ago
Domain Engineering: The Challenge, Status, and Trends
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
Stephanie White, Michael Edwards
BMCBI
2008
153views more  BMCBI 2008»
13 years 4 months ago
2DB: a Proteomics database for storage, analysis, presentation, and retrieval of information from mass spectrometric experiments
Background: The amount of information stemming from proteomics experiments involving (multi dimensional) separation techniques, mass spectrometric analysis, and computational anal...
Jens Allmer, Sebastian Kuhlgert, Michael Hippler
TOG
2002
122views more  TOG 2002»
13 years 4 months ago
Feature-based light field morphing
We present a feature-based technique for morphing 3D objects represented by light fields. Our technique enables morphing of imagebased objects whose geometry and surface propertie...
Zhunping Zhang, Lifeng Wang, Baining Guo, Heung-Ye...
DSD
2011
IEEE
200views Hardware» more  DSD 2011»
12 years 4 months ago
Microthreading as a Novel Method for Close Coupling of Custom Hardware Accelerators to SVP Processors
Abstract—We present a new low-level interfacing scheme for connecting custom accelerators to processors that tolerates latencies that usually occur when accessing hardware accele...
Jaroslav Sykora, Leos Kafka, Martin Danek, Lukas K...