Sciweavers

4323 search results - page 560 / 865
» Callback Implementations in C
Sort
View
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 10 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
DSN
2003
IEEE
15 years 10 months ago
Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP
In a recent paper [2] we have proposed FT-TCP: an architecture that allows a replicated service to survive crashes without breaking its TCP connections. FT-TCP is attractive in pr...
Dmitrii Zagorodnov, Keith Marzullo, Lorenzo Alvisi...
EDOC
2003
IEEE
15 years 10 months ago
An Approach to Relate Viewpoints and Modeling Languages
The architectural design of distributed enterprise applications from the viewpoints of different stakeholders has been proposed for some time, for example, as part of RM-ODP and I...
Remco M. Dijkman, Dick A. C. Quartel, Luís ...
FCCM
2003
IEEE
133views VLSI» more  FCCM 2003»
15 years 10 months ago
Floating Point Unit Generation and Evaluation for FPGAs
Most commercial and academic floating point libraries for FPGAs provide only a small fraction of all possible floating point units. In contrast, the floating point unit generat...
Jian Liang, Russell Tessier, Oskar Mencer
HICSS
2003
IEEE
127views Biometrics» more  HICSS 2003»
15 years 10 months ago
Designed for Success - Empirical Evidence on Features of Corporate Web Pages
We investigate how eight concepts derived from the media characteristics of the WWW impact corporate success in E-Business if implemented as features of companies’ web sites. We...
Nils Madeja, Detlef Schoder