4887 search results - page 630 / 978 » System Level Design Using C |
129
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
The benefit of Class-of-Service (CoS) is an important topic in the "Network Neutrality" debate. Proponents of network neutrality suggest that over-provisioning is a viab...
294
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
139
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
154
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
111
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
In software evolution research logical coupling has extensively been used to recover the hidden dependencies between source code artifacts. They would otherwise go lost because of...