3544 search results - page 490 / 709 » Software Testing |
108
click to vote
TVLSI
2008
15 years 19 days ago
2008
Most hardware compilers apply loop pipelining to increase the parallelism achieved, but pipelining is restricted to the only innermost level in a nested loop. In this work we exten...
111
click to vote
MMSP
2008
IEEE
15 years 7 months ago
2008
IEEE
—By nature, human beings perceive their environment mostly using sight and audition. Vibrotactile feedback has proven satisfying results in the domains of simple multimodal inter...
133
Voted
SIES
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
95
Voted
SKG
2006
IEEE
15 years 6 months ago
2006
IEEE
With the enhancement of Grid application, Grid portal provides a unique interface for end-users to access distributed resources and are used widely in Knowledge Grid, e-Science, e...
96
Voted
CIA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...