10159 search results - page 1816 / 2032 » System Design Validation Using Formal Models |
223
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...
173
click to vote
VEE
2005
ACM
16 years 4 days ago
2005
ACM
The Progressive Deployment System (PDS) is a virtual execution environment and infrastructure designed specifically for deploying software, or “assets”, on demand while enabli...
191
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
One of the major difficulties when applying Multiobjective Evolutionary Algorithms (MOEA) to real world problems is the large number of objective function evaluations. Approximate...
186
click to vote
TMRA
2005
Springer
16 years 2 days ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
177
click to vote
AIPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Light spectroscopic methods are critical to advances in molecular characterization of disease processes. However, these methods have been limited to in-vitro or cell culture studi...