Sciweavers

6800 search results - page 649 / 1360
» Testing with Functions as Specifications
Sort
View
162
Voted
WISE
2009
Springer
16 years 4 months ago
Personalizing the Interface in Rich Internet Applications
Recently, existing design methodologies targeting traditional Web applications have been extended for Rich Internet Application modeling support. These extended methodologies curre...
Irene Garrigós, Santiago Meliá, Sven...
ICCD
2002
IEEE
88views Hardware» more  ICCD 2002»
16 years 4 months ago
Improving Processor Performance by Simplifying and Bypassing Trivial Computations
During the course of a program’s execution, a processor performs many trivial computations; that is, computations that can be simplified or where the result is zero, one, or equ...
Joshua J. Yi, David J. Lilja
206
Voted
ICCAD
2005
IEEE
141views Hardware» more  ICCAD 2005»
16 years 4 months ago
Architecture and compilation for data bandwidth improvement in configurable embedded processors
Many commercially available embedded processors are capable of extending their base instruction set for a specific domain of applications. While steady progress has been made in t...
Jason Cong, Guoling Han, Zhiru Zhang
176
Voted
CBSE
2009
Springer
16 years 1 months ago
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, F...
187
Voted
ICC
2007
IEEE
16 years 1 months ago
Performance Study of Bandwidth Allocation Techniques for QoS-Constrained Satellite Networks
—The paper analyzes the performance of the bandwidth allocation process over satellite communication systems in presence of specific Quality of Service (QoS) requirements. The re...
Igor Bisio, Mario Marchese