Sciweavers

898 search results - page 93 / 180
» Comparing high-level modeling approaches for embedded system...
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
16 years 21 days ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
16 years 27 days ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
PPSN
2004
Springer
15 years 11 months ago
Coupling of Evolution and Learning to Optimize a Hierarchical Object Recognition Model
Abstract. A key problem in designing artificial neural networks for visual object recognition tasks is the proper choice of the network architecture. Evolutionary optimization met...
Georg Schneider, Heiko Wersing, Bernhard Sendhoff,...
CASES
2007
ACM
15 years 10 months ago
Rethinking custom ISE identification: a new processor-agnostic method
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...
Ajay K. Verma, Philip Brisk, Paolo Ienne
137
Voted
CORR
2010
Springer
166views Education» more  CORR 2010»
15 years 6 months ago
I-Interaction: An Intelligent In-Vehicle User Interaction Model
The automobile is always a point of interest where new technology has been deployed. Because of this interest, human-vehicle interaction has been an appealing area for much resear...
Li Liu, Edward Dillon