2532 search results - page 38 / 507 » Implementation and applications of the distortion operator |
148
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
137
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
We survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important the...
155
click to vote
IPPS
2007
IEEE
16 years 17 days ago
2007
IEEE
Web Services are becoming more and more fundamental building blocks of Web-based distributed applications and a core technology for Grid systems. Due to their flexibility, Web Ser...
177
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
Advances in FPGA-based reconfigurable computers have made them a viable computing platform for a vast variety of computation demanding areas such as bioinformatics, speech recogni...
175
click to vote
ISPDC
2006
IEEE
16 years 8 days ago
2006
IEEE
Using grid resources to execute scientific applications requiring a large amount of computing power is attractive but not easy from the user point of view. Vigne is a grid operati...