Sciweavers

2607 search results - page 136 / 522
» On the Architecture of System Verification Environments
Sort
View
VLSID
2006
IEEE
192views VLSI» more  VLSID 2006»
16 years 13 days ago
Beyond RTL: Advanced Digital System Design
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
Shiv Tasker, Rishiyur S. Nikhil
COMPSAC
2007
IEEE
16 years 23 days ago
Decision Support for Dynamic Adaptation of Business Systems Based on Feature Binding Analysis
Dynamic evolution has been an essential requirement for more and more business systems which attempt to provide 7(days) x 24(hours) availability and flexible adaptability on the c...
Liwei Shen, Xin Peng, Wenyun Zhao
ICRA
2007
IEEE
159views Robotics» more  ICRA 2007»
16 years 22 days ago
Two Vision-guided vehicles: temporal coordination using nonlinear dynamical systems
— This article addresses the problem of generating timed trajectories and temporally coordinated movements for two wheeled vehicles, when relatively low-level, noisy sensorial in...
Cristina P. Santos, Manuel Ferreira
ECBS
2004
IEEE
153views Hardware» more  ECBS 2004»
15 years 10 months ago
Architectural Description with Integrated Data Consistency Models
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
Peter Tabeling
DEXA
2000
Springer
165views Database» more  DEXA 2000»
15 years 10 months ago
DIMS: Implementation of a Federated Information Management System for PRODNET II
The Esprit project PRODNET II1 (Production Planning and Management in an Extended Enterprise) had as its main objective the development of a reference architecture and a support in...
César Garita, Yasemin Ugur, Anne Frenkel, H...