6800 search results - page 306 / 1360 » Testing with Functions as Specifications |
160
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
: In this research, a fixed-point multimedia co-processor is designed and tested into an ARM-10 based mobile graphics processor for portable 2-D and 3-D multimedia applications. Th...
177
click to vote
HICSS
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper attempts to evaluate the performance of an environmental mitigation banking system operating under different regulatory. Pricing and subsidization policies using system...
189
click to vote
INTERACT
2003
15 years 8 months ago
2003
: Resonance (Gibson, 1986) of users while interacting with a product should be a key issue in the development of human computer interaction. Because resonance requires developing o...
175
click to vote
JUCS
2010
15 years 5 months ago
2010
Abstract: Ontology rule editing, testing, debugging and validation are still handcrafted and painful tasks. Nowadays, there is a lack of tools that take these tasks into considerat...
177
click to vote
IACR
2011
14 years 6 months ago
2011
In 2008 I. Dinur and A. Shamir presented a new type of algebraic attack on symmetric ciphers named cube attack. The method has been applied to reduced variants of stream ciphers T...