Sciweavers

1776 search results - page 52 / 356
» A Visual Modeling Environment for Embedded Component Systems
Sort
View
IPPS
2003
IEEE
15 years 5 months ago
Applying Aspect-Orient Programming Concepts to a Component-Based Programming Model
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
Thomas Eidson, Jack Dongarra, Victor Eijkhout
ASE
2005
103views more  ASE 2005»
14 years 11 months ago
Component Verification with Automatically Generated Assumptions
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
ICIP
2009
IEEE
14 years 9 months ago
3D facial visualization through adaptive spread spectrum synchronous scalable (A4S) data hiding
An adaptive spread spectrum synchronous scalable(A4S) data hiding strategy is being put forward to integrate the disparate 3D facial visualization data, into a single JPEG2000 for...
Khizar Hayat, William Puech, Gilles Gesquiè...
PADS
2000
ACM
15 years 4 months ago
Distributed, parallel simulation of multiple, deliberative agents
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
Adelinde Uhrmacher, K. Gugler
OOPSLA
2000
Springer
15 years 3 months ago
A real world object modeling method for creating simulation environment of real-time systems
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
Ji Y. Lee, Hye J. Kim, Kyo Chul Kang