Sciweavers

288 search results - page 13 / 58
» ArrayD: A general purpose software for Microarray design
Sort
View
116
Voted
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 8 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
113
Voted
CHITALY
2011
87views more  CHITALY 2011»
14 years 2 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ò
131
Voted
CODES
2008
IEEE
15 years 4 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
139
Voted
VLSID
2004
IEEE
212views VLSI» more  VLSID 2004»
16 years 3 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, ...
110
Voted
CODES
2004
IEEE
15 years 6 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...