9455 search results - page 1597 / 1891 » The Modelling Language Zinc |
187
click to vote
ASPLOS
2006
ACM
16 years 20 days ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
166
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
193
Voted
RSP
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
198
click to vote
ACMICEC
2005
ACM
16 years 8 days ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
191
click to vote
PLDI
2005
ACM
16 years 8 days ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...