Sciweavers

6197 search results - page 448 / 1240
» Sandbridge Software Tools
Sort
View
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
16 years 1 months ago
Stochastic Formal Methods: An Application to Accuracy of Numeric Software
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
Marc Daumas, David Lester
IROS
2007
IEEE
105views Robotics» more  IROS 2007»
16 years 1 months ago
A Software component for simultaneous plan execution and adaptation
— This paper presents a software component, the plan database, which provides the needed services to define plans, execute them and more importantly adapt them during execution....
Sylvain Joyeux, Rachid Alami, Simon Lacroix
RTCSA
2006
IEEE
16 years 27 days ago
Hardware-Software Codesign of Multimedia Embedded Systems: the PeaCE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
Soonhoi Ha, Choonseung Lee, Youngmin Yi, Seongnam ...
DATE
2005
IEEE
107views Hardware» more  DATE 2005»
16 years 15 days ago
Fine Grain QoS Control for Multimedia Application Software
We propose a method for fine grain QoS control of dataflow applications. We assume that the application software is described as the composition of actions (C-functions) with qu...
Jacques Combaz, Jean-Claude Fernandez, Thierry Lep...
CP
2005
Springer
16 years 13 days ago
Modeling Constraint Programs with Software Technology Standards
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
Matthias Hoche, Stefan Jähnichen