4343 search results - page 488 / 869 » Replication Techniques for Availability |
179
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
170
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Mobile devices provide a variety of ways to access information resources available on the Web and a high level of adaptability to different aspects (e.g., device capabili...
196
Voted
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
162
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Tile-based rendering (also called chunk rendering or bucket rendering) is a promising technique for low-power, 3D graphics platforms. This technique decomposes a scene into smalle...
184
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we explore the feasibility and performance optimization problems for real-time systems that must remain functional during an operation/mission with a fixed, initial...