Sciweavers

3381 search results - page 244 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
3DIM
2001
IEEE
15 years 10 months ago
Dual-Beam Structured-Light Scanning for 3-D Object Modeling
In this paper, we present our Dual-Beam Structured-Light Scanner (DSLS), a scanning system that generates range maps much richer than those obtained from a conventional structured...
Johnny Park, Guilherme N. DeSouza, Avinash C. Kak
SIMULATION
2011
15 years 1 months ago
The Activity-tracking paradigm in discrete-event modeling and simulation: The case of spatially continuous distributed systems
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
Alexandre Muzy, Rajanikanth Jammalamadaka, Bernard...
TC
2010
15 years 1 months ago
Architectures and Execution Models for Hardware/Software Compilation and Their System-Level Realization
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...
Holger Lange, Andreas Koch
FMSD
2008
110views more  FMSD 2008»
15 years 6 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
EMISA
2005
Springer
16 years 5 days ago
A Comprehensive Enterprise Architecture Metamodel
Abstract Due to the growing importance of alignment, compliance and manageability issues, increased attention is being paid to architectures and architecture management recently. A...
Christian Braun, Robert Winter