Sciweavers

288 search results - page 13 / 58
» ArrayD: A general purpose software for Microarray design
Sort
View
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 4 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
CHITALY
2011
87views more  CHITALY 2011»
13 years 10 months ago
Flexible support for distributing user interfaces across multiple devices
In this paper, we describe a solution to obtain flexible user interface distribution across multiple devices, even supporting different modalities. For this purpose we extend a mo...
Marco Manca, Fabio Paternò
CODES
2008
IEEE
14 years 12 months ago
A time-predictable system initialization design for huge-capacity flash-memory storage systems
The capacity of flash-memory storage systems grows at a speed similar to many other storage systems. In order to properly manage the product cost, vendors face serious challenges ...
Chin-Hsien Wu
91
Voted
VLSID
2004
IEEE
212views VLSI» more  VLSID 2004»
15 years 10 months ago
On Design and Implementation of an Embedded Automatic Speech Recognition System
We present a new design of an Embedded Speech Recognition System. It combines the aspects of both hardware and software design to implement a speaker dependent, isolated word, sma...
Sujay Phadke, Rhishikesh Limaye, Siddharth Verma, ...
CODES
2004
IEEE
15 years 1 months ago
RTOS-centric hardware/software cosimulator for embedded system design
This paper presents an RTOS-centric hardwareisoftware cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is tha...
Shinya Honda, Takayuki Wakabayashi, Hiroyuki Tomiy...