Sciweavers

635 search results - page 94 / 127
» Data Criticality in Network-On-Chip Design
Sort
View
ISSRE
2003
IEEE
14 years 3 months ago
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Ca...
PLDI
2003
ACM
14 years 2 months ago
A static analyzer for large safety-critical software
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
Bruno Blanchet, Patrick Cousot, Radhia Cousot, J&e...
ICSOC
2003
Springer
14 years 2 months ago
Semantic Structure Matching for Assessing Web-Service Similarity
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
Yiqiao Wang, Eleni Stroulia
GMP
2010
IEEE
246views Solid Modeling» more  GMP 2010»
14 years 2 months ago
Parameterization of Star-Shaped Volumes Using Green's Functions
Abstract. Parameterizations have a wide range of applications in computer graphics, geometric design and many other fields of science and engineering. Although surface parameteriz...
Jiazhi Xia, Ying He 0001, Shuchu Han, Chi-Wing Fu,...
CODES
2002
IEEE
14 years 2 months ago
Energy savings through compression in embedded Java environments
Limited energy and memory resources are important constraints in the design of an embedded system. Compression is an useful and widely employed mechanism to reduce the memory requ...
Guangyu Chen, Mahmut T. Kandemir, Narayanan Vijayk...