Sciweavers

8697 search results - page 1460 / 1740
» An Approach to the Enterprise Integration
Sort
View
87
Voted
FM
2006
Springer
127views Formal Methods» more  FM 2006»
15 years 4 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute
99
Voted
FPL
2006
Springer
161views Hardware» more  FPL 2006»
15 years 4 months ago
Predictive Load Balancing for Interconnected FPGAs
A Field Programmable Gate Array (FPGA), when used as a platform for implementing special-purpose computing architectures, offers the potential for increased functional parallelism...
Jason D. Bakos, Charles L. Cathey, Allen Michalski
GFKL
2006
Springer
75views Data Mining» more  GFKL 2006»
15 years 4 months ago
Classification of Contradiction Patterns
Abstract. Solving conflicts between overlapping databases requires an understanding of the reasons that lead to the inconsistencies. Provided that conflicts do not occur randomly b...
Heiko Müller, Ulf Leser, Johann Christoph Fre...
ARTQOS
2003
Springer
15 years 4 months ago
Differentiation and Interaction of Traffic: A Flow Level Study
We study what kind of differentiation can be achieved using DiffServ without admission control and using a relative services approach, i.e. the rate of the flow should be in propor...
Eeva Nyberg, Samuli Aalto
145
Voted
ATS
2001
IEEE
172views Hardware» more  ATS 2001»
15 years 4 months ago
A Built-in Self-Test and Self-Diagnosis Scheme for Heterogeneous SRAM Clusters
Testing and diagnosis are important issues in system-onchip (SOC) development, as more and more embedded cores are being integrated into the chips. In this paper we propose a buil...
Chih-Wea Wang, Ruey-Shing Tzeng, Chi-Feng Wu, Chih...
« Prev « First page 1460 / 1740 Last » Next »