Sciweavers

3335 search results - page 127 / 667
» A Unified Approach to Modeling and Programming
Sort
View
DAC
1998
ACM
16 years 7 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
CIB
2005
41views more  CIB 2005»
15 years 6 months ago
A Partial-Repeatability Approach to Data Mining
Unlike the data approached in traditional data mining activities, software data are featured with partial-repeatability or parepeatics, which is an invariant property that can neit...
Kai-Yuan Cai, Yunfei Yin, Shichao Zhang
ACMSE
2004
ACM
15 years 12 months ago
A model-driven approach for generating embedded robot navigation control software
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
Bina Shah, Rachael Dennison, Jeff Gray

Book
282views
17 years 4 months ago
Physical Modeling in MATLAB
"Most books that use MATLAB are aimed at readers who know how to program. This book is for people who have never programmed before. As a result, the order of presentation is u...
Allen B. Downey
ISSEP
2010
Springer
243views Education» more  ISSEP 2010»
16 years 3 months ago
Object-Oriented Modeling of Object-Oriented Concepts
Teaching introductory object-oriented programming presents considerable challenges. Some of these challenges are due to the intrinsic complexity of the subject matter — object-or...
Michela Pedroni, Bertrand Meyer