Sciweavers

1660 search results - page 41 / 332
» Abstract Application Modeling for System Design Space Explor...
Sort
View
117
Voted
ACIVS
2005
Springer
15 years 8 months ago
Designing Area and Performance Constrained SIMD/VLIW Image Processing Architectures
Abstract. Image processing is widely used in many applications, including medical imaging, industrial manufacturing and security systems. In these applications, the size of the ima...
Hamed Fatemi, Henk Corporaal, Twan Basten, Richard...
113
Voted
HYBRID
2005
Springer
15 years 8 months ago
Learning Multi-modal Control Programs
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
Tejas R. Mehta, Magnus Egerstedt
123
Voted
EIT
2009
IEEE
15 years 9 months ago
System-level memory modeling for bus-based memory architecture exploration
—System-level design (SLD) provides a solution to the challenge of increasing design complexity and time-to-market pressure in modern embedded system designs. In this paper, we p...
Zhongbo Cao, Ramon Mercado, Diane T. Rover
123
Voted
EVOW
2010
Springer
15 years 2 months ago
Hand Posture Recognition Using Real-Time Artificial Evolution
Abstract. In this paper, we present a hand posture recognition system (configuration and position) we designed as part of a gestural man-machine interface. After a simple image pre...
Benoit Kaufmann, Jean Louchet, Evelyne Lutton
154
Voted
TABLEAUX
1998
Springer
15 years 7 months ago
Model Checking: Historical Perspective and Example (Extended Abstract)
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
Edmund M. Clarke, Sergey Berezin