9110 search results - page 374 / 1822 » Formally-Based Design Evaluation |
161
click to vote
IOLTS
2005
IEEE
16 years 8 days ago
2005
IEEE
— In this paper, an innovative self-checking Reed Solomon encoder architecture is described. The presented architecture exploits some properties of the arithmetic operations in G...
181
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
— Optical Burst Switching (OBS) is an experimental network technology that enables the construction of very high capacity routers, using optical data paths and electronic control...
164
Voted
WSC
1997
15 years 8 months ago
1997
Excellent production design and planning depends on accurate simulation of a high quality layout. A good layout project will always begin with an analysis of the production volume...
170
click to vote
AIEDAM
2008
15 years 6 months ago
2008
Rationale research in software development is a challenging area because while there is no shortage of advocates for its value, there is also no shortage of reasons for why rationa...
218
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
This paper presents a system for enabling offline web use to satisfy the information needs of disconnected communities. We describe the design, implementation, evaluation, and pil...