Sciweavers

2938 search results - page 484 / 588
» On obfuscating point functions
Sort
View
SAC
2008
ACM
13 years 9 months ago
Automatic software fault localization using generic program invariants
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
Rui Abreu, Alberto González 0002, Peter Zoe...
TIP
2008
167views more  TIP 2008»
13 years 9 months ago
FIR Filter Banks for Hexagonal Data Processing
Images are conventionally sampled on a rectangular lattice, and they are also commonly stored as such a lattice. Thus, traditional image processing is carried out on the rectangula...
Q. Jiang
FUIN
2008
107views more  FUIN 2008»
13 years 8 months ago
Nondeterminism in Constructive Z
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
IEEECIT
2010
IEEE
13 years 8 months ago
The Strategy of Advancing Mobile Web Application's Layout and Drawing
As the time of mobile Internet has come gently, the mobile applications has progressively designed by techniques based on web technology. The web technology has a lot of strong po...
Liankui Qiu, Panlong He, Lei Luo
INFOCOM
2010
IEEE
13 years 8 months ago
On the Viability of Paris Metro Pricing for Communication and Service Networks
—Paris Metro Pricing (PMP) is a simple multi-class flat-rate pricing scheme already practiced by transport systems, specifically by the Paris Metro at one time. The name is coi...
Chi-Kin Chau, Qian Wang, Dah-Ming Chiu