Sciweavers

840 search results - page 96 / 168
» Modelling Functional Requirements in Spatial Design
Sort
View
113
Voted
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
15 years 6 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup
134
Voted
RSP
2003
IEEE
149views Control Systems» more  RSP 2003»
15 years 8 months ago
Rapid Scheduling of Efficient VLSI Architectures for Next-Generation HSDPA
In this paper, an efficient design flow integrating Mentor Graphics Precesion C and HDL designer is derived. In this hybrid prototyping environment, efficient FPGA architectures a...
Yuanbin Guo, Gang Xu, Dennis McCain, Joseph R. Cav...
JWSR
2006
114views more  JWSR 2006»
15 years 2 months ago
Metadata, Ontologies, and Information Models for Grid PSE Toolkits Based on Web Services
: A PSE toolkit is a group of technologies within a software architecture through which multiple PSEs can be built for different application domains. The effective use of a PSE too...
Carmela Comito, Carlo Mastroianni, Domenico Talia
CVPR
2004
IEEE
16 years 4 months ago
Accurate Face Models from Uncalibrated and Ill-Lit Video Sequences
In this paper, we propose a face reconstruction technique that produces models that not only look good when texture mapped, but are also metrically accurate. Our method is designe...
Miodrag Dimitrijevic, Slobodan Ilic, Pascal Fua
140
Voted
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
15 years 9 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli