1635 search results - page 185 / 327 » Design Productivity for Configurable Computing |
115
click to vote
IAT
2003
IEEE
15 years 7 months ago
2003
IEEE
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...
94
Voted
DAC
2009
ACM
15 years 6 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
177
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
HoTMaN (HoT-standby MaNager) is a joint research and development project between MySpace and USC Database Laboratory to design and develop a tool to ensure a 24x7 up-time and ease...
196
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
SQL tuning--the attempt to improve a poorly-performing execution plan produced by the database query optimizer-is a critical aspect of database performance tuning. Ironically, as ...
128
click to vote
CSREAESA
2008
15 years 3 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...