1356 search results - page 46 / 272 » The ideal of verified software |
ECLIPSE
2004
ACM
15 years 5 months ago
2004
ACM
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...
DEXAW
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper describes two results of the European ESPRIT project no. 22828 ,,CSCCM", which aims at optimising the bidding process of small and medium companies in the construc...
SOSP
2009
ACM
15 years 8 months ago
2009
ACM
We revisit the problem of scaling software routers, motivated by recent advances in server technology that enable highspeed parallel processing—a feature router workloads appear...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
The term distributed computing conjures the image of a fixed network structure whose nodes support the execution of processes that communicate with each other via messages traveli...
ISCC
2005
IEEE
15 years 5 months ago
2005
IEEE
—A framework for designing a family of novel fast CRC generation algorithms is presented. Our algorithms can ideally read arbitrarily large amounts of data at a time, while optim...