3384 search results - page 330 / 677 » More Testable Properties |
230
click to vote
SIGSOFT
2006
ACM
16 years 20 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
216
click to vote
RTSS
2005
IEEE
16 years 9 days ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
190
click to vote
IPTPS
2005
Springer
16 years 7 days ago
2005
Springer
— We propose here an analysis of a rich dataset which gives an exhaustive and dynamic view of the exchanges processed in a running eDonkey system. We focus on correlation in term...
207
click to vote
IWANN
2005
Springer
16 years 7 days ago
2005
Springer
Carbon nanotubes are often seen as the only alternative technology to silicon transistors. While they are the most likely short-term alternative, other longer-term alternatives sho...
170
click to vote
ICTAC
2004
Springer
16 years 3 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...